Software Quality is Not a Coincidence: A Model-Based Test Case Generator

IAV GmbH is currently developing a test case generator, which uses information from Simulink^®/Stateflow^® models to generate test cases automatically. These test cases can then be applied during software tests for an ECU to show conformance to the original model.

Using predefined rules, test cases for individual blocks are generated and converted into test cases for a whole model. The test cases can be saved as a XML file. Then, this file can be converted into test script languages which are used by tools for test execution.

With the test case generator, the time-consuming and error-prone task of manual test case definition can be automated, thus decreasing test expenses for each test while increasing test quality.