首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种轨道交通联锁系统完备性测试用例生成方法和系统 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:华侨大学

摘要:一种轨道交通联锁系统完备性测试用例生成方法和系统,包括:应用STPA方法分析轨道交通联锁系统的安全需求,并将安全需求转换为线性时态逻辑属性;利用符号化有限状态机对轨道交通联锁系统进行建模得到参考模型,计算轨道交通联锁系统中的所有估值函数,根据估值函数生成得到参考模型中的符号迹;改良参考模型,并结合线性时态逻辑属性对参考模型的输入输出事件进行等价类划分;基于改良后的参考模型的符号迹生成测试用例,在被测系统上执行测试用例,检测被测系统是否满足轨道交通联锁系统的安全需求。本发明通过合理地划分等价类,可以有效减少测试用例的生成数量,从而缩减测试时长,提高测试效率。

主权项:1.一种轨道交通联锁系统完备性测试用例生成方法,其特征在于,包括:应用STPA方法分析轨道交通联锁系统的安全需求,并将所述安全需求转换为线性时态逻辑属性;利用符号化有限状态机对所述轨道交通联锁系统进行建模得到参考模型,计算所述轨道交通联锁系统中的所有估值函数,根据所述估值函数生成得到所述参考模型中的符号迹;改良参考模型,并结合所述线性时态逻辑属性对所述参考模型的输入输出事件进行等价类划分;基于改良后的所述参考模型的所述符号迹生成测试用例,在被测系统上执行所述测试用例,检测所述被测系统是否满足所述轨道交通联锁系统的所述安全需求。

全文数据:

权利要求:

百度查询: 华侨大学 一种轨道交通联锁系统完备性测试用例生成方法和系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。