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

Generation method of test cases for automated testing of TCC

为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构建带有输入输出时间的确定性有限状态机模型,并利用改进的广度优先搜索生成测试路径,形成抽象测试集.然后,利用边界值分析将测试路径中的时间约束离散化,并利用提出的控制条件覆盖测试生成算法生成测试用例.最后,以列控中心改变运行方向场景为例,生成测试用例.结果表明:采用所提出方法生成的测试用例可以有效表达接口通信的内容和时机.为列控中心自动化测试用例的自动生成提供重要的方法支撑.

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.