Mutation Operators for Simulink Models

Mutation testing is a fault-based technique widely used for testing software. Particularly, it allows the effectiveness of a set of test data to be evaluated in terms of the ability to reveal faults. Nowadays, many industrial complex systems are more and more developed. Such systems require more testing activities to ensure a good quality. Simulink is one of the most popular tools to develop this kind of systems. In this paper, we focus on studying the application of mutation testing technique to Simulink models. We propose a set of mutation operators by basing on investigating common faults in Simulink models. A process of mutation testing for Simulink models is also presented. Some first experimentations show the promising outcomes.