Research on Test Case Generation Method for CTCS-3 Level Train Control Level Conversion Scenario Based on Time Automata
In order to improve the automation of test cases in the train control level conversion system,a CTCS-2 to CTCS-3 train control level conversion system was designed based on time automata to extract model information and automatically generate test paths,thereby generating specific test cases.The results indicate that the train switching time is mainly concentrated between 62s and 75s.When the conversion time is 80 seconds,the probability of successful conversion is above 99.7％.The level conversion process,combined with the obtained test path,ultimately resulted in 153 test cases.Based on the test path and logical coverage criteria,the variable value range of each predicate condition is obtained.Combined with existing test paths,specific test cases are finally genera-ted.The test cases of this method effectively improve software development efficiency,shorten development cycles,reduce error rates,and improve testing automation.This method improves the automation level of test cases for train control level conversion sys-tems,and is of great significance for the research on the efficiency of software development in train control level conversion scenarios.
time automataCTCS-3 levellevel conversiontest caseslogical coverage criteria
万方数据
维普
