一种卫星安全关键软件系统性验证方法

摘要

一种卫星安全关键软件系统性验证方法，首先构建安全关键软件多维影响要素模型，然后根据安全关键软件多维影响要素模型构建安全关键软件需求约束集，最后使用得到的安全关键软件需求约束集对安全关键软件进行验证。本发明结合安全关键软件的运行处理过程，通过抽象安全关键软件的控制过程处理模型，提炼形成了软件系统层面的安全约束集，并在此基础上设计了安全关键软件的验证集，实现了建立于软件处理过程模型上的安全性影响要素覆盖分析，以及从安全关键软件安全性影响要素到安全关键软件的验证集的无缝映射，与传统的测试验证方法相比，所验证的系统性问题数量提高大概20％以上，具有很好的使用价值。