Research And Implementation Of The Methodology Of Test Case Generation Of The On-board Equipment Based On UML-XML

The CTCS-3 (Chinese Train Control System, CTCS-3) train Control system, which accommodates fuctions CTCS-2, has been proposed to be used as the unified technique platform of the national railway for high-speed passenger line of 300km/h and above. Now, CTCS-3 with completely independent intellectual property rights is in research and technology of system development and testing is not fully mature. High-speed train control system with advanced, safe, reliable and efficient properties is a basic guarantee for the safe operation of trains, so it is highly recommended that we conduct functional testing, subsystem interoperability testing and performance evaluation of CTCS-3. The on-board equipment is a key subsystem of CTCS-3 and the study of its functional testing method, especially generating method of the test case, has a great significance to the development of CTCS-3.The method of automatic generation of test cases of the CTCS-3 on-board equipment was investigated in this paper as following:1) Foundations of UML (Unified Modeling Language) and XML (XML-based Metadata Interchange) were introduced. The systax and semantics of UML and the testable probabilitiy of UML model were presented. Then, the advantages of test cases documenting in XML and concepts of XML were discussed.2) A method of test case generation based on UML-XML was discussed. In order to establish a testable UML use case model, some modeling rules were defined. Based on these rules, the testable UML use case model and a test case model with formal definitions and generating algorithms of the test case model were proposed.3) The transformation rules between UML model and XML test case document based on XMI (XML-based Metadata Interchange) were discussed.4) A test case generating tool was implemented. The tool implemented the method proposed and offered the function to configurate input data and out data of the test case and export a XML test case document. The UML use case model of the function of train speed supervision was completed. Then the tool generated test cases for the model.The results show that test cases generated using the test case generating method proposed in this paper could cover all functions of the system under test, and it also could cover all scenarios during the execution ot the function.