CTCS-N system test case generation based on fault injection
Xinyue Li, Kaicheng Li, Yu Liu · 2023
Compared with the traditional train operation control system, the China Train Control System-New (use the abbreviation CTCS-N system later) reduces the track circuit and transponder, integrates the equipment in the train and station, and its functions such as integrity checking and train positioning have changed. In order to ensure that the equipment of the CTCS-N system can achieve its intended function and have high reliability, it is necessary to design a test sequence for functional reliability testing. Taking the CTCS-N system as the research object, this paper proposes a test case generation method based on fault injection. Firstly, the colored Petri network model (CPN) of the CTCS-N system is constructed, and the fault injection of CPN is completed based on the functional fault tree model, and the state space directed graph of the system is obtained through the ASk-CTL formula, so as to generate test cases that meet the full coverage of paths and nodes.