The Requirement Analysis And Conformance Testing Of Railway System

ATP is the train operation control system in the field of rail transit, of which safety and reliability requirements are very hign. However, in this field, these properties are verified by some scattered manual tests nowadays. There is not a complete set of automated testing method to test the consistency between system implementation and requirement, which ensures the safety and reliability of the system. In order to make up for this defect, a whole set of test method based on the model-driven testing for the safety and reliability of the ATP system is presented in this paper. This method provides a complete set of conformance testing procedures, from requiement analysis to software testing. The main contents and contributions of this paper are as follows:Requirement specification analysis. we defined a requiement description language of ATP system, named CASDL(CAsco Specification Description Language), based on model-driven methods. Through parsing and formal analysis of the requirement written in CASDL, we can get two model profiles, Variable Dependency Diagram(VDD) and State Transition Diagram(STD), which can help testers better analyse the requirement in or-der to verify the logical correctness.Automated generation of test cases. This method can automati-cally generate corresponding test cases from requirement model according to different coverage rules, such as MC/DC, Branch. Apart from that, we have proposed a testing method based on scenarios, which can generate targeted test data concerned by testers. For this method, we defines a scenario de-scription language which can depicted the testing scenarios occured in tester’s mind. Through parsing and analysis, we can get test script, which can be executed by the test platform.Conformance testing and analysis. In order to verify the consis-tency between system implementation and requirement, the intended output of the requirement should be generated. In this method, the intended output is generated automatically through the simulation execution of the require-ment. After comparing the test result with the intended output and then, we can get the conformance testing report. This report can help testers discover and locate the inconsistency.So far, a supporting tool of this method has been developed, and been applied to the actual testing workds of railway system. It has greatly improved the test efficiency and also obtained the recognition and praise from the testers.