A Test Cases Generation Method for ATP
Yao Li, Xiaoxia Zhang, Yadong Zhang, Jin Guo, Chang Rao · 2020
Automatic train protection (ATP) is an important equipment with a safety requirement of SIL 4 for Chinese Train Control System, whose safety is usually guaranteed by testing. Test cases generation method is an important basis and research focus of ATP. Taking Petri Net as the modelling tool, a test cases generation method of ATP is proposed. First, according to the technical specification, performing a fault mode analysis, ATP Petri Net testing model is established. Then, the test cases are generated automatically by searching the reachability tree of the testing model. Finally, taking the SOM function of ATP as an example, testing model is established and test cases are generated. By comparing the test cases generated by this method and the existing test cases, the correctness and effectiveness of this method is verified.