Mutation-Based Test Case Generation of Train-Ground Transmission Function for CTCS

Abstract

Safety tests are used to verify the safety functions of Chinese Train Control System (CTCS). The structural complexity and interface diversity of the system bring some challenges to generate test cases including possible failure modes for specific safety functions. In this paper, we propose a method of generating test cases for the train-ground transmission function based on model-based mutation testing. The timed automata model of CTCS is established. Then, mutation operators are designed according to the types of the failure modes which may occur in the process of train-ground information transmission. By applying these mutation operators, the mutants are obtained. Finally, test cases are generated via conformance checks between the mutants and the original model. The application of this method is illustrated by the level conversion scene. The result shows that this method can automatically generate 208 safety test cases covering five failure modes for the scene.