城轨交通全自动运行系统组合测试用例生成方法

为提高城轨全自动运行系统测试的全面性，结合时间自动机建模方法和组合测试理论，提出全自动运行系统组合测试用例生成方法。首先，以全自动运行系统运营场景为测试建模对象，基于时间自动机建模方法，描述全自动运行系统的运营场景，利用Yggdrasil生成100%满足运营场景时间自动机模型节点覆盖和边覆盖的测试路径；其次，采用输入域建模理论，提取测试路径反映的系统工况作为组合测试的输入参数，利用组合测试算法生成全自动运行系统的组合测试用例；最后，以全自动运行系统中的唤醒场景为例，采用UPPAAL从ATP、ATO、TCMS、AOM和车辆5个方面建立唤醒场景的时间自动机模型，以向前跳跃失败为例，采用2-维组合覆盖生成组合测试用例。结果表明，测试用例100%覆盖测试模型所有的边和节点，以及测试模型任意2个输入之间的组合，提升了全自动运行系统测试的完备性。