一种安全关键软件验证方法、装置、设备及介质
基本信息
| 申请号 | CN202210031298.7 | 申请日 | - |
| 公开（公告）号 | CN114385501A | 公开（公告）日 | 2022-04-22 |
| 申请公布号 | CN114385501A | 申请公布日 | 2022-04-22 |
| 分类号 | G06F11/36（2006.01）I;G06F8/10（2018.01）I | 分类 | 计算；推算；计数; |
| 发明人 | 吴康;朱守园;牟明;于沛;赵文 | 申请（专利权）人 | 中航机载系统共性技术有限公司 |
| 代理机构 | 南京源点知识产权代理有限公司 | 代理人 | 黄启兵 |
| 地址 | 225000江苏省扬州市广陵区广陵新城江苏信息服务产业基地内28号楼B栋11层 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明属于软件测试验证技术领域，提供了一种安全关键软件验证方法、装置、设备及介质。其中，方法包括：基于LTL语言扩展FTA模型得到形式化的系统安全性约束条件及对应的软件需求规范；将软件需求规范按照预制定转换规则和MBD的软件规范符号匹配，使软件需求规范转化为安全规约模型；将安全规约模型和预生成的SCADE软件设计模型输入模型验证器，完成对软件的安全性验证。采用本申请实施例的技术方案，通过LTL语言进行扩展使安全性约束条件和安全性约束条件对应的软件需求规范满足形式化特征，同时依据预制定的转换规则使软件需求规范可以转化为安全规约模型，用以输入模型验证器中进行验证，避免了安全性验证方法的人为因素的干扰，提高了可靠性。 |
