Model-Based Test Case Generation for Function Testing of CTCS-3 Onboard Subsystem

Abstract

The CTCS-3(Chinese Train Control System level 3) is an automatic system which is an integrated of advanced control technology, advanced communication technology, advanced computer technology and railway signal technology. It plays an important role in assuring safety and improving efficiency in railway. As a core subsystem in CTCS-3, the onboard subsystem is a typical safety-critical system, in which any fault can lead to huge human injury or wealth losing. Function testing method which is mainly focus on the conformance relation between the specification and the System Under Test (SUT) has been widely used in testing onboard subsystem in the past few years. However, most of the test cases are manually generated which can’t be reused and leads to repeated works when the specification is changed. To improve the testing efficiency and quality, model-based testing method is introduced. We use a tool chain to generate test case automatically based on Timed Automata theory and then apply in function testing of onboard subsystem. Firstly, we establish the scenario-tree by analyzing the specification of onboard subsystem and Vital Computer and Environment (V-E) timed automata network model of mode transition using tool Uppaal. Then, according to the relation between train modes and operational scenarios, test cases are automatically generated by tool CoVer with definition coverage criteria based on the Observer Automata theory. Finally, a selection algorithm is given to choose a complete test sequence from the test cases. Different test suitss of onboard subsystem are acquired and compared with different coverage criteria and coverage items. A complete model transition function test suits are derived which is proven very useful for testing the onboard subsystem.