-
题名城轨交通全自动运行系统组合测试用例生成方法
被引量：1
- 1
-
-
作者
陈争
孙可心
刘传刚
冉怡明
李任宇
-
机构
青岛四方机车车辆股份有限公司
中车青岛四方机车车辆股份有限公司
西南交通大学信息科学与技术学院
-
出处
《铁道通信信号》
2023年第11期62-69,共8页
-
基金
四川省科技计划(2021YJ0070)。
-
文摘
为提高城轨全自动运行系统测试的全面性,结合时间自动机建模方法和组合测试理论,提出全自动运行系统组合测试用例生成方法。首先,以全自动运行系统运营场景为测试建模对象,基于时间自动机建模方法,描述全自动运行系统的运营场景,利用Yggdrasil生成100%满足运营场景时间自动机模型节点覆盖和边覆盖的测试路径;其次,采用输入域建模理论,提取测试路径反映的系统工况作为组合测试的输入参数,利用组合测试算法生成全自动运行系统的组合测试用例;最后,以全自动运行系统中的唤醒场景为例,采用UPPAAL从ATP、ATO、TCMS、AOM和车辆5个方面建立唤醒场景的时间自动机模型,以向前跳跃失败为例,采用2-维组合覆盖生成组合测试用例。结果表明,测试用例100%覆盖测试模型所有的边和节点,以及测试模型任意2个输入之间的组合,提升了全自动运行系统测试的完备性。
-
关键词
城市轨道交通
全自动运行系统
时间自动机
组合测试
测试用例
唤醒
-
Keywords
Urban rail transit
Fully Automatic Operation(FAO)
Timed automata
Combined testing
Test cases
Wake-up
-
分类号
U231.6
[交通运输工程—道路与铁道工程]
TP206.1
[自动化与计算机技术—检测技术与自动化装置]
-
