This page contains articles on model-based testing and model-based testing tools like TPT or MTest. To tackle the growing complexity of embedded software in control systems, the latter is increasingly developed in a model-based manner. Typically, modeling and simulation tools such as Simulink/Stateflow are used to create an executable model of the system during the early stages of development. This model then serves as the foundation for electronic control unit software.
The testing process that accompanies model-based development (model-based testing) can benefit from the existence of such an executable model in various ways – some of which are discussed in the following articles. Specifically, the systematic design of test cases for reactive systems with continuous input data streams presents a challenge to be addressed.