摘要
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。
To effectively and automatically generate test sequences covering all the transition paths of on-board equipment,firstly,Mode Transition based on Colored Petri Net（MTCPN）model,which is designed by＂the system requirement specification of CTCS-3 level train control system＂,is analyzed and verified by ASK-CTL logic formulas and nonstandard state space search method.Secondly,according to the specification,the working mode and the transition paths of on-board equipment are mapped into the directed graph that is solved by the Chinese postman algorithm to generate an optimal path.Then,testing purpose sequences of on-board equipment are generated by further optimizing the optimal path.Finally,the testing purpose sequences are used as the input for the MTCPN model and executable test sequences satisfying full path coverage criteria and their XML files are generated.Verification results show that the test sequence generation method based on colored Petri net meets test requirements,avoids the state space explosion and endless loop problem of existing methods and enhances test efficiency.
作者
赵晓宇
杨志杰
吕旌阳
ZHAO Xiaoyu YANG Zhijie LU Jingyang(Postgraduate Department, China Academy of Railway Sciences, Beijing 100081, China Signal ＆ Communication Research Institute, China Academy of Railway Sciences, Beijing 100081, China National Research Center of Railway Intelligence Transportation System Engineering Technology, China Academy of Railway Sciences, Beijing 100081, China School of Information and Communication Engineering, Beijing University of Posts and Telecommunications, Beijing 100876, China)
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017年第4期115-123,共9页
China Railway Science
基金
中国铁路总公司科技研究开发计划项目(2015X002-B)
