Development of mutation operators for matlab/simulink/stateflow models and their prototypical implementation into a tool

Model based software development is a common procedure within a wide range of embedded software development. To ensure the quality of software it is essential to ensure the quality of the model. Testing is an essential software quality assurance activity. The quality of testing activity depends on the quality of a test suite. Thus, the evaluation of the quality of a test suite is vital. Mutation testing is a powerful technique to measure the goodness of a test suite or drive test-data generation. A mutant is generated by slightly changing the model. A test suite is adequate if it is able to detect all mutants. Mutation operators decide the type of changes to use. This thesis explores a set of mutation operators for Matlab/Simulink/Stateflow models evaluating their adequacy. A prototype of a mutation testing tool for Matlab/Simulink/Stateflow models was implemented to generate mutants and to show how the mutation operators allow us to measure the adequacy of the test suite. We can say that a mutation testing tool for the software industry is within reach