| With the development of the Rail Transit in China,it’s of great importance to ensure the safety and reliability of the Automatic Train Protection(ATP)System,which is one of the fimdamental components of the rail transit control system.However,most of the safety assurance methods rely on the practitioner’s manual work.The practitioner is lack of effective methods to perform the system testing automatically.In order to tackle the problem,this dissertation proposes an automatic vertification method for ensuring the safety of ATP system.The method provides a unified solution that involves requirement model construction,testing scenario script derivation,and requirement simulation.The major contributions of this dissertation are summarized as follows:Requirement model construction:In this dissertation,we use CASDL(CASCO Specification Description Language),a requirement description language,to describe the requirements in the corresponding model.The grammar and property checking through the requirement model can not only help testers analyze and revise the requirements to ensure the correctness,but also prepare for simulation.Testing Scenario script derivation:To ensure the correctness of the ATP system,it is necessary to verify the requirements through the train behavior scenario.In this dissertation,we utilize CASSL(CASCO Scenario Language),a scene description language to describe the scenario for normative design of the scene.By automatically checking the grammar and logic of the scenario script,we can ensure the correctness of the script.Finally,by analysis and calculation,this tool can generate the test script,which can be used in the test platform.After the execution of the test script on the test platform,we can get the expected test data for the requirement simulation.Requirement simulation:In this dissertation,requirement simulation uses the requirement model to simulate the process of the ATP system in a testing scenario.We designed a simulation algorithm to generate the calculation data according to the expected test data and the requirement model,by which we can not only target errors in requirements or the implementation of the system,but also speed up the efficiency of testing.We have implemented the methodology of analysis and verification of requirement model in a tool,which has been applied to the industrial application of the Rail Transit. |
