基于有色Petri网的车载设备模式转换测试序列生成方法

• 作者: 吕旌阳 杨志杰 赵晓宇
• 来源期刊: 中国铁道科学
• 学科: 交通运输
• 关键词: 测试序列 车载设备 列车控制系统 模式转换 有色Petri网 中国邮路算法 路径覆盖量
• 年，卷（期）: 2017,（4）
• 页码范围: 115-123
• 页数: 9页
• 分类号: U284.482
• 字数: 6122字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4632.2017.04.16

摘要

为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件.验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨志杰	中国铁道科学研究院通信信号研究所	11	54	4.0	7.0
5	吕旌阳	北京邮电大学信息与通信工程学院	12	47	4.0	6.0
6	赵晓宇	中国铁道科学研究院研究生部	4	15	2.0	3.0