Research on Automatic Generation of Test Cases for on-board Equipment CTCS-3Based on Model

Cheng-long YI,Kai-cheng LI,Jing-jing ZHOU
DOI: https://doi.org/10.3969/j.issn.1673-159X.2014.02.013
2014-01-01
Abstract:Aimed at the shortcomings of the artificial generating test sequences , In this paper, the authors put forward a method based on model .First according to the system requirements specification , under the environment of UPPAAL , the timed automaton is used to model the on-board equipment and check the model , then the model is put into Cover which is a tool based on coverage algo-rithm to automatically generate test cases , finally, the correctness of the automatic generation of test cases is analyzed .
What problem does this paper attempt to address?