An Extended Method for Generating Safety Test Cases of the High Speed Railway Train Control Center
Jing Xiong, Gang Yu · International Conference on System science, Engineering design and Manufacturing informatization · 2013
According to the features and the fault related test requirements of the software in train control center system, the thesis proposed a new modeling method by safety behavior model, described the consistency relationship between safety requirements and the system under test safety, established software fault detection model to detect the safety logic fault and proposed an efficient safety testing test generation method-I_GenSTC based on fault coverage, it is not only able to detect whether safety actions can occur, but also able to detect whether unsafe actions can occur, it can effectively improve the safety of the fault coverage of the test suite. The method has a complete distinguishing power between safety and unsafe behaviors at any state of the system under test, and its effectiveness were exemplified in safety testing and validation of high-speed train control center in china.