In order to test the Simulink models, this paper focused on the model-based testing for Simulink based on mutation testing. Considering the situation that the present model-based test adequacy criteria are imperfect, we propose a mutation testing process for Simulink models. Based on studying the application of mutation testing technique to Simulink models, some improvements on mutation operators for Simulink models are presented. The experimentation results verified the effectiveness and correctness.
ADBT Frame Work as a Testing Technique: An Improvement in Comparison with Traditional Model Based Testing
