《表3 解脱航行器制动控制行为的部分状态组合示例》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于系统理论过程分析的软件安全性需求分析与验证方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

每个过程模型的状态都会对安全性造成影响，对于每一个控制行为，需要分析其在4个过程模型不同状态组合下是否危险。过程模型变量的状态组合总数理论上为4×4×3×2=96个，通过算法对生成的结果成对覆盖（Pairwise），以最小化组合数量；同时剔除无危险的组合，最终得到30种危险组合，由此得到30条用自然语言描述的安全需求。因篇幅限制，生成的部分状态组合表如表3所示。