基于有色Petri网的测试案例生成方法及其在CTCS-3车地通信中的应用

作     者：赵天时 ZHAO Tianshi

作者机构：中国铁道科学研究院集团有限公司标准计量研究所北京100081 

出 版 物：《北京交通大学学报》 (JOURNAL OF BEIJING JIAOTONG UNIVERSITY)

年 卷 期：2018年第42卷第6期

页      面：97-103页

学科分类：0810[工学-信息与通信工程] 08[工学] 0805[工学-材料科学与工程（可授工学、理学学位）] 0814[工学-土木工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(U1434209) 中国铁道科学研究院集团有限公司科研项目(2017YJ114) 中国铁道科学研究院集团有限公司科研项目(1851ZJ2904) 中铁检验认证中心科研项目(1852ZJ1303) 交控科技设计创新和学科发展基金(9907006510)~~ 

主　　题：CTCS-3级列控系统 有色Petri网 车地通信 状态空间 路径 

摘      要：CTCS-3级列控系统作为高速铁路的中枢神经系统,是典型的安全苛求系统.对安全苛求系统进行有效测试是提高系统安全性的重要手段.鉴于车地通信在列控系统中的重要性,提出一套基于有色Petri网的车地通信测试案例的生成方法.参考CTCS-3级列控系统技术规范,构建车地通信流程的有色Petri网模型,生成状态空间并搜索到达目标状态的路径,在路径的基础上自动生成测试案例.通过对比使用有色Petri网自动生成和现有的测试案例,验证了测试案例生成方法的正确性,提高了测试案例生成方法的自动化程度,为基于模型的系统测试提供了参考.