赵晓宇
- 作品数：1 被引量：17H指数：1
- 供职机构：中国铁道科学研究院更多>>
- 相关领域：交通运输工程更多>>
- 基于有色Petri网的车载设备模式转换测试序列生成方法被引量：17
- 2017年
- 为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。
- 赵晓宇杨志杰吕旌阳
- 关键词：车载设备列车控制系统有色PETRI网
