Model-based Testing

This page contains papers on Model-based testing and the Model-based testing tool MTest. To master the growing complexity of embedded software in control systems, the latter is increasingly developed in a model-based way. This means that typically modeling and simulation tools such as Simulink/Stateflow® are used to create an executable model of the system under development at an early stage of the development process. This model then serves as a basis for the future control unit software.

The test process accompanying the model-based development process (Model-based testing) can profit from the existence of such an executable model in various ways - some of these are discussed in the following papers.

The development of software models is done successively in multiple levels, where each lower level describes the model in more detail. This approach demands a proof of correctness of the refined model stages compared with the original model's functions. The evaluation of such a test, where a huge amount of test data may be generated, can be automated by the tool MEval which is based on a new developed signal comparison method.

MEval is commercially available at IT Power Consultants.

The new signal comparison method is discussed in the following paper.