期刊文献+

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

Method for Generating Combined Test Cases of the Fully Automatic Operation System in Urban Rail Transit
下载PDF
导出
摘要 为提高城轨全自动运行系统测试的全面性,结合时间自动机建模方法和组合测试理论,提出全自动运行系统组合测试用例生成方法。首先,以全自动运行系统运营场景为测试建模对象,基于时间自动机建模方法,描述全自动运行系统的运营场景,利用Yggdrasil生成100%满足运营场景时间自动机模型节点覆盖和边覆盖的测试路径;其次,采用输入域建模理论,提取测试路径反映的系统工况作为组合测试的输入参数,利用组合测试算法生成全自动运行系统的组合测试用例;最后,以全自动运行系统中的唤醒场景为例,采用UPPAAL从ATP、ATO、TCMS、AOM和车辆5个方面建立唤醒场景的时间自动机模型,以向前跳跃失败为例,采用2-维组合覆盖生成组合测试用例。结果表明,测试用例100%覆盖测试模型所有的边和节点,以及测试模型任意2个输入之间的组合,提升了全自动运行系统测试的完备性。 In order to improve the comprehensiveness of the testing of the fully automatic operation system in urban rail transit,a method for generating combined test cases of the fully automatic operation system is proposed by combining the modeling method of time automata and the theory of combined testing.Firstly,taking the operational scenario of the fully automatic operation system as the test modeling object,a time automata modeling method is used to describe the operational scenario of the fully automatic operation system.Yggdrasil is used to generate 100%test paths that meet both the node coverage and edge coverage of the timed automata model of the operation scenarios.Then,the input domain modeling theory is used to extract the system working conditions reflected by the test path as the input parameters of the combined test,and the combined test algorithm is used to generate the combined test cases of the fully automatic operation system.Finally,taking the wake-up scene in the fully automatic operation system as an example,a time automata model of the wake-up scenario is established using UPPAAL from five aspects:ATP,ATO,TCMS,AOM,and vehicles.Taking forward jog failure as an example,2-dimensional combination coverage is used to generate combined test cases.The results show that the test cases 100%cover all edges and nodes of the test model and the combination of any two inputs of the test model,which improves the test completeness of the fully automatic operation system.
作者 陈争 孙可心 刘传刚 冉怡明 李任宇 CHEN Zheng;SUN Kexin;LIU Chuangang;RAN Yiming;LI Renyu
出处 《铁道通信信号》 2023年第11期62-69,共8页 Railway Signalling & Communication
基金 四川省科技计划(2021YJ0070)。
关键词 城市轨道交通 全自动运行系统 时间自动机 组合测试 测试用例 唤醒 Urban rail transit Fully Automatic Operation(FAO) Timed automata Combined testing Test cases Wake-up
  • 相关文献

参考文献11

二级参考文献88

共引文献75

同被引文献3

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部