| 一种针对全自动运行系统的测试用例生成方法 |
| |
| 引用本文： | 梁君海,李春峰,万里,杨毅峰,薛一鸣.一种针对全自动运行系统的测试用例生成方法[J].铁路通信信号工程技术,2024(1):76-82. |
| |
| 作者姓名： | 梁君海 李春峰 万里 杨毅峰 薛一鸣 |
| |
| 作者单位： | 1. 中车成都机车车辆有限公司西南研发中心;2. 西南交通大学信息科学与技术学院 |
| |
| 基金项目： | 中国铁路总公司科技研究开发计划课题项目（N2018G062,K2018G011）；;四川省科技计划资助项目（2021YJ0070）； |
| |
| 摘 要： | 针对全自动运行系统测试指定路径覆盖的测试需求，基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论，建立全自动运行系统的时间自动机模型；为表征全自动运行系统指定路径覆盖的测试需求，提出基于时间自动机模型的标记变量建模方法 ；结合Yggdrasil的测试用例生成机制，提出全自动运行系统测试用例生成方法，同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则；以全自动运行系统的模式转换功能为例，建立时间自动机模型并生成测试用例。结果表明，测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边，能够满足全自动运行系统指定路径覆盖的测试要求。
|
| 关 键 词： | 全自动运行系统 指定路径覆盖 时间自动机 Yggdrasil 测试用例 |
|
|
