Research On Mutation Testing Method Of ATO System For High-Speed Railway Based On TIOA And Ecdar

In recent years,with the development of China high-speed railway and the increasing transportation pressure,the demand for applying automatic train operation(ATO)technology to high-speed railway is particularly urgent.Therefore,the ATO system for high-speed railway with new ATO function came into being.Testing is an important technical method to ensure the correctness and reliability of the ATO system for high-speed railway,and the test case is the core issue in the testing,which is related to the quality and efficiency of the testing.How to automatically generate test suite and ensure its coverage rate and completeness has always been the key issue and research focus of the train control system.The mutation testing simulates possible defects in the program/system during operation by purposely injecting different types of faults into the program/system,and the resulting mutants can be used to generate new test cases.In this paper,the mutation testing technology and timed input/output automata(TIOA)theory are combined to design a mutation testing method of ATO system for high-speed railway based on TIOA and Ecdar,which realizes the formal modeling and verification of ATO system for high-speed railway and the automatic generation of test cases based on mutation testing.The main contents of the paper are as follows.Firstly,the TIOA related theories,the mutation testing technology and the tool Ecdar which integrates the modeling,verification and test functions are introduced.On this basis,the mutation testing method of ATO system for high-speed railway is designed,including the formal modeling and verification method of ATO system for high-speed railway,11 mutation operators and test case generation methods.Secondly,the ATO system for high-speed railway is summarized from three aspects:overall architecture,system interface and operation scenario.By analyzing the information interaction process and functional requirements of the train cross TSRS operation scenario,the TIOA model of the scenario is designed and established,and then the logic function and timing function of the model are verified.Next,the mutation operators are injected into the TIOA model for mutation to generate mutation models,and the SUT program of the train cross TSRS operation scenario is developed under Intellij by using Java.Then according to the test case generation method,test cases are generated by Ecdar by using the original model,the mutation models,and the SUT program as the input of Ecdar.Finally,the test case analysis and conversion tool is developed under VS 2015 by using C#,then use the tool to convert the generated XML format test cases into more readable Chinese cases.After that,based on the test situation of ATO system for high-speed railway and the existing train control system test case set,three screening principles were summarized,and the test cases applicable to the ATO system for high-speed railway were screened from the converted test cases.These test cases can not only be used to enrich the original test case set,but also verify the effectiveness of the mutation testing method studied in this paper.This paper has 47 figures,18 tables and 67 references.