10.3969/j.issn.1001-4632.2017.04.16
基于有色Petri网的车载设备模式转换测试序列生成方法
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件.验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率.
测试序列、车载设备、列车控制系统、模式转换、有色Petri网、中国邮路算法、路径覆盖量
38
U284.482(铁路通信、信号)
中国铁路总公司科技研究开发计划2015X002-B
2017-09-08(万方平台首次上网日期,不代表论文的发表时间)
共9页
115-123