摘要：Test case is an important basis for correctness and safety verification of Chinese Train Control System (CTCS). Focusing on the test cases generation method of UPPAAL which is widely used in CTCS testing activity, the problems are analyzed, and an improved test cases generation method for CTCS is proposed. First, the process and characteristics of UPPAAL test cases generation method are analyzed; then the test requirements of CTCS are studied, and a test cases generation method based on UPPAAL query file is proposed. Finally, taking the level transition function of CTCS as an example, test cases are generated by the proposed method, which shows that this method can meet the test requirements of CTCS.
