Test Suite Generation For Ctcs-3 Train Control System Based On Taio And Mutation Theory

As a safety-critical system, the Chinese Train Control System Level 3 (CTCS-3) have complex fault modes. To generate test suite, which can cover all known faults, is very difficult. In this paper, we proposed a methodology of generating test suite for CTCS-3 train control system based on timed automata with input and output (TAIO) and mutation testing theory. Firstly, according to the characteristics of the fault modes in CTCS-3, mutation operators that contain all known faults of mode transition function ("change action", "change target", "change source", etc) are designed. Secondly, the TAIO model of mode transition (TAIO A) in CTCS-3 is established. With each mutation operator, mutants of mode transition timed automata model (TAIO M) are built. Test suites are generated based on the conformance relation of TAIO A and TAIO M using the k-Bounded model checking technique. Finally, the coverage of the test suites have been analyzed by the conformance relation score (CRS), average conformance relation score (ACRS) and weighted conformance relation score (WCRS). Three fault modes of "change action", "change invariant" and "sink location" could be covered effectively and completely detected, wherever, two fault modes coverage of "negate guard" and "invert reset" are not high enough, which need additional observation to detect.