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

龙图腾网获悉华侨大学申请的专利一种轨道交通联锁系统完备性测试用例生成方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118746976B 。

龙图腾网通过国家知识产权局官网在2025-10-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411111928.7，技术领域涉及：G05B23/02；该发明授权一种轨道交通联锁系统完备性测试用例生成方法和系统是由张世旭;陈祖希;梅萌;汪小勇;张宏扬;周长利;缑锦设计研发完成，并于2024-08-14向国家知识产权局提交的专利申请。

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

本发明授权一种轨道交通联锁系统完备性测试用例生成方法和系统在权利要求书中公布了：1.一种轨道交通联锁系统完备性测试用例生成方法，其特征在于，包括： 应用STPA方法分析轨道交通联锁系统的安全需求，并将所述安全需求转换为线性时态逻辑属性； 利用符号化有限状态机对所述轨道交通联锁系统进行建模得到参考模型，计算所述轨道交通联锁系统中的所有估值函数，根据所述估值函数生成得到所述参考模型中的符号迹； 改良参考模型，并结合所述线性时态逻辑属性对所述参考模型的输入输出事件进行等价类划分； 基于改良后的所述参考模型的所述符号迹生成测试用例，在被测系统上执行所述测试用例，检测所述被测系统是否满足所述轨道交通联锁系统的所述安全需求；应用STPA方法分析轨道交通联锁系统的安全需求，具体包括： 系统建模：对轨道交通联锁系统的控制结构和控制过程进行建模； 控制结构分析：识别所述控制结构的多个控制组件之间的关系和交互； 控制过程分析：分析所述轨道交通联锁系统的控制过程，包括识别信号灯的控制逻辑、道岔的切换过程、列车进出站的控制策略； 识别安全约束：根据所述控制结构和所述控制过程，识别导致不良事件的控制操作和环境条件； 分析和评估风险：分析识别的安全性约束，评估所述安全性约束对轨道交通联锁系统安全性的潜在影响，并确定导致事故的不安全控制行为； 推导安全需求：在所述的不安全控制行为的基础上取反，得到所述轨道交通联锁系统的安全需求； 改良参考模型，并结合所述线性时态逻辑属性对所述参考模型的输入输出事件进行等价类划分，具体如下： 构造的满足所述安全需求的输入输出表达式的集合∑为： ∑＝∑IRIS∪∑ORIS∪AP 其中，∑ORIS表示所述参考模型的输入字母表，∑ORIS表示所述参考模型的输出字母表，AP表示所述线性时态逻辑属性转换的原子命题集； 根据所述输入输出表达式的集合∑划分出所有的输入输出大类； 求出所有满足上述输入输出大类的具体迹即估值函数σ，并按照所述输入输出大类分别求出其估值函数集合φ； 基于改良的所述参考模型的所述符号迹生成测试用例，具体为： 步骤a.构建一个包含改良后的所述参考模型的最小状态覆盖集V作为所述测试用例的集合，其为所述参考模型的输入输出表达式上的符号迹组成的集合； 步骤b.为每一对不同的符号迹α,β∈V找到一个符号区分迹γ，并将α.γ，β.γ添加到测试用例中； 步骤c.通过一个由符号迹组成的集合T对测试用例进行扩展，每个迹都由状态覆盖集V的前缀和所有输入输出等价类的集合A的任意符号迹的后缀组成。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华侨大学，其通讯地址为：362000 福建省泉州市丰泽区城东城华北路269号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。