列控中心自动化测试测试用例生成方法  

Generation method of test cases for automated testing of TCC

作　　者：王硕 张亚东[1] 郭进[1] 李耀 兰浩[1] WANG Shuo;ZHANG Yadong;GUO Jin;LI Yao;LAN Hao(School of Information Science and Technology,Southwest Jiaotong University,Chengdu 611756,China;School of Optoelectronic Science and Engineering,University of Electronic Science and Technology,Chengdu 611731,China)

机构地区：[1]西南交通大学信息科学与技术学院,成都611756 [2]电子科技大学光电科学与工程学院,成都611731

出　　处：《北京交通大学学报》2020年第5期49-54,共6页JOURNAL OF BEIJING JIAOTONG UNIVERSITY

基　　金：国家自然科学基金(61703349);中央高校基本科研业务费专项资金(2682017CX101);中国铁路总公司科技研究开发计划(N2018G062)。

摘　　要：为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构建带有输入输出时间的确定性有限状态机模型,并利用改进的广度优先搜索生成测试路径,形成抽象测试集.然后,利用边界值分析将测试路径中的时间约束离散化,并利用提出的控制条件覆盖测试生成算法生成测试用例.最后,以列控中心改变运行方向场景为例,生成测试用例.结果表明:采用所提出方法生成的测试用例可以有效表达接口通信的内容和时机.为列控中心自动化测试用例的自动生成提供重要的方法支撑.In order to improve the test efficiency and test quality for automated testing of TCC, the generation method of the test case with communication time is studied by using model based testing. Firstly, the deterministic finite state machine model with input and output time is built by extending the input and output action of deterministic finite state machine. Then test paths that constitute abstract test set are generated by the improved breadth first search. Secondly, using boundary value analysis makes the time constraints in the test paths discrete. Then test cases are generated by using the control condition coverage test generation algorithm proposed in this paper. Finally, the changing direction scenario of TCC is taken as an example to generate test cases. The results show that the test cases generated by the method described in this paper can effectively express the content and time of interface communication. And it can provide significant method support for test cases automatic generation in automated testing of TCC.

关 键 词：列控中心 自动化测试 测试路径 测试用例 基于模型的测试 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]