龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：华侨大学
摘要：本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
主权项：1.一种面向安全需求的轨道交通联锁系统一致性测试方法，其特征在于，包括以下步骤：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的不安全控制动作以及精炼的软件安全要求，将所述精炼的软件安全要求转换为线性时态逻辑属性，并进一步转换为原子命题，以构成原子命题集；采用符号化有限状态机对所述轨道交通联锁系统进行建模，得到参考模型；基于所述参考模型构建若干个突变体，并得到故障域，计算所述轨道交通联锁系统中的所有估值函数，根据所述估值函数生成得到所述参考模型中的符号迹及其对应的具体迹；对所述参考模型进行基于一阶表达式的改良，得到改良后的参考模型，所述改良后的参考模型与所述参考模型在同一故障域中，将估值函数映射到其满足的原子命题集中，得到命题抽象，通过递归定义将所述命题抽象扩展到赋值序列和具体迹上；基于所述参考模型的符号迹和命题抽象生成测试用例，在所述改良后的参考模型上执行所述测试用例，检测所述改良后的参考模型是否满足所述精炼的软件安全要求，若满足，则确定所述测试用例满足所述精炼的软件安全要求，若不满足，则重新构建故障域并重复以上两个步骤，直至所述测试用例满足所述精炼的软件安全要求。
全文数据：
权利要求：
百度查询： 华侨大学 面向安全需求的轨道交通联锁系统一致性测试方法及装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号