Model-based test cases generation for Onboard system

The Onboard system is a typical safety-critical system, in which any fault can lead to huge human injury or wealth losing. Function testing method which is mainly focus on the conformance relation between the specification and the SUT has been widely used in testing the Onboard system in the past few years. However, most of the test cases are manually generated which can´t be reused and leads to repeat works when the specification is changed. To improve the testing efficiency and quality, Model-based testing method is introduced. We use a tool chain to generate test case automatically based on Timed Automata theory and apply in function testing of the Onboard system. EBD-TR timed automata network model is established using tool Uppaal. And based on the EBD-TR model, two kinds of coverage criteria (all-location coverage, and all-edge coverage) are used in tool of CoVer to generate test case automatically. Different test suits of the Onboard system are acquired and a complete model transition function test suit is derived which is proven very useful for testing the Onboard system.