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