Test Case Generation Using Tabu Search for Train Control Systems
When the traditional approach to fault injection in combinatorial testing is adopted to verify each function of Chinese train control systems(CTCS),the systems are susceptible to the constraint relationship between input parame-ters,which can result in invalid test cases.To deal with the coupling effect between multiple faults for CTCS,an ap-proach to test case generation based on tabu search was proposed,with temporary speed restriction(TSR)scenario taken as an example.Firstly,with the features of equipment faults in the TSR scenario extracted as input parameters for fault injection,the constraint relationship between devices was analyzed to establish a constraint satisfaction model.Then,ac-cording to the characteristics of railway signalling equipment,the initial solution generation method and neighborhood search process of tabu search algorithm were improved to generate the test cases satisfying the constraint relationship.Fi-nally,in accordance with operational railroad data and real equipment information,the validity of the proposed method for CTCS were verified based on the simulation platform of CTCS for Beijing—Zhangjiakou High-speed Railway.Empiri-cal studies suggest that when the coverage dimension was 2,3 and 4 respectively,the number of test cases in the TSR scenario was reduced by 7.7％,7.0％ and 4.5％ after taking constraint relationship into consideration.In comparison with IPOG,IPOG-F,mAETG and tabu search,the number of test cases generated by the proposed algorithm was re-duced by 32％,30.1％,24.5％ and 3.7％ respectively,with the coverage in combinatorial testing 9.5％ and 3.7％ higher than the random testing and the adaptive random testing.The research achievements can provide some references for the safety evaluation and system optimization of CTCS for high-speed railway.
Chinese train control systemstabu searchtest casetemporary speed restrictioncombinatorial testing
万方数据
维普
