[发明专利]一种面向NuXMV的安全关键系统状态转换图测试用例生成方法在审
| 申请号： | 202210227092.1 | 申请日： | 2022-03-08 |
| 公开（公告）号： | CN114595152A | 公开（公告）日： | 2022-06-07 |
| 发明（设计）人： | 胡军;祝凌锋 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 南京钟山专利代理有限公司 32252 | 代理人： | 张力 |
| 地址： | 210016 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种面向NuXMV的安全关键系统状态转换图测试用例生成方法，S1，将变量关系模型转换为NuXMV符号模型检查器可接受的状态转换图模型，根据状态转换图可解释化预处理算法，读取和解析所述图模型文件，对图模型进行预处理，从状态转换图模型中解析出结点流和条件流；S2，对解析出的结点流和条件流进行规约，制定不同的覆盖策略，并基于覆盖策略通过验证存在性属性的方式生成反例状态转移路径，存入测试用例集中；S3，对S2得到的测试用例集去冗余化，得到最小最优的测试用例集。本发明能够找出安全关键系统在编码过程中存在的安全性问题，验证编码和设计的一致性，提高安全关键系统的可靠性。 | ||
| 搜索关键词： | 一种 面向 nuxmv 安全 关键 系统 状态 转换 测试 生成 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210227092.1/，转载请声明来源钻瓜专利网。
