To meet the demand for rapid development of dedicated passenger lines and high-speed railways, the research on CTCS-3 has been started in order to achieve the localization of key technology innovation and system integration of CTCS-3 as well as ensure the requirements of across-line-operation and interoperability among equipment. So it is of great importance to carry out a comprehensive functional testing of CTCS-3. At the same time, the research on the generation of test cases, which is the basis for the testing of train control system, becomes particularly important.In this thesis, the method for optimizing the generation of test cases was proposed. Firstly, it was proposed that UML modeling technique can be applied in the generation of CTCS-3 test cases on the basis of analyzing UML modeling mechanism, by using UML to optimize the generation of test cases without changing the generating idea of test cases. The generation of test cases is divided into two steps, with the first step to extract functional features from CTCS-3 System Requirement Specification (SRS), and the second to generate test cases for each functional feature in combination with modeling of train operation process. Secondly, it was proposed that automatic generation of test cases based on UML statechart diagram can be realized. Under the premise of meeting test coverage criteria and in combination with graph theory, the operation on statechart diagram is converted into the solution of Hamilton circle, Euler circuit and the degrees of the vertices, thus the generation of test cases is realized by traversing the statechart diagram in accordance with the appropriate algorithms. Finally, the MDL document of statechart diagram is analized to obtain the corresponding information of statechart diagram and store the information into an adjacent table, appropriate test cases are then generated by traversing the graph, to meet the transition-pair coverage criteria.By applying UML modeling technique in the generation of CTCS-3 test cases, and automatically generating test cases based on statechart diagram, it is possible to reduce the manual participation, to make the generation of test cases more intelligent and lay a good foundation for automatic testing. |