Model-Based Test Case Automatic Generation of CTCS-3 Train Control System

In order to improve the test case generation efficiency of the CTCS-3 train control system, a test case automatic generation method is proposed based on formal models of hybrid communication sequential process (HCSP) and timed automata. Then, timing models for operation scenarios in the train control system are built to verify its real-time function. Based on the timing models, test case automatic generation algorithms are designed for three domain independent coverage criteria, including all location, all edge and definition-use pair in the train control system. Taking the typical radio block center (RBC) handover scenario as an example, 100% function coverage test suites with all-location, all-edge and definition-use pair test coverage criteria are automatically derived. In addition, the efficiency of the test case generation method is analyzed from the aspects of test suite number, time consumption, and memory cost. The results show that among the three 100% function coverage test suites, the user-defined pair test criterion consumes a minimum time of 0.2 s and a minimum memory of 9.4 blocks, and the proposed method can enhance the test case generation efficiency by a maximum of 30% in the train control system.