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 algorithm to automatically generate test cases, finally, the correctness of the automatic generation of test cases is analyzed.