Mutation model-based generation of test cases for CTCS-3 Train Control System

Xiaoliang LIU,Lei YUAN,Jidong LV,Guodong WEI,Deji FU
DOI: https://doi.org/10.3969/j.issn.1005-8451.2015.06.016
2015-01-01
Abstract:Based on mutation model of CTCS-3 Train Control System, this paper proposed a mutation model-based method to generate test cases automatically. According to the requirements speciifcation of Train Control System, the SMV model was established and mutated. The mutated model was put into the SMV model checker. The test case was generated automatically by using the model checking methods and the efifciency of the test case generation was improved dramatically. Finally, a scenario of Radio Block Center (RBC) handover in CTCS-3 Train Control System was taken as an example, veriifed the effectiveness of the method.
What problem does this paper attempt to address?