城轨交通全自动运行系统组合测试用例生成方法 |
| |
引用本文: | 陈争,孙可心,刘传刚,冉怡明,李任宇.城轨交通全自动运行系统组合测试用例生成方法[J].铁道通信信号,2023(11):62-69. |
| |
作者姓名: | 陈争 孙可心 刘传刚 冉怡明 李任宇 |
| |
作者单位: | 1.青岛四方机车车辆股份有限公司;2.中车青岛四方机车车辆股份有限公司;3.西南交通大学信息科学与技术学院; |
| |
基金项目: | 四川省科技计划(2021YJ0070) |
| |
摘 要: | 为提高城轨全自动运行系统测试的全面性,结合时间自动机建模方法和组合测试理论,提出全自动运行系统组合测试用例生成方法。首先,以全自动运行系统运营场景为测试建模对象,基于时间自动机建模方法,描述全自动运行系统的运营场景,利用Yggdrasil生成100%满足运营场景时间自动机模型节点覆盖和边覆盖的测试路径;其次,采用输入域建模理论,提取测试路径反映的系统工况作为组合测试的输入参数,利用组合测试算法生成全自动运行系统的组合测试用例;最后,以全自动运行系统中的唤醒场景为例,采用UPPAAL从ATP、ATO、TCMS、AOM和车辆5个方面建立唤醒场景的时间自动机模型,以向前跳跃失败为例,采用2-维组合覆盖生成组合测试用例。结果表明,测试用例100%覆盖测试模型所有的边和节点,以及测试模型任意2个输入之间的组合,提升了全自动运行系统测试的完备性。
|
关 键 词: | 城市轨道交通 全自动运行系统 时间自动机 组合测试 测试用例 唤醒 |
本文献已被 维普 等数据库收录! |
|