Timed Model-Based Mutation Operators for Simulink Models

Model-based mutation testing (MBMT) is a specialized area of model-based testing focused on generating faulty model versions to improve test cases. This paper introduces timed mutation operators for Matlab/Simulink (ML/SL) models, aimed at assessing tools that integrate a timed task model for enhanced support in Model-in-the-Loop (MIL) simulation. We applied these mutation operators to evaluate SimSched, a tool that incorporates model transformation to integrate scheduling into the model for real-time context validation during simulation. Results indicate SimSched’s superiority over the base-case Stateflow Scheduler in identifying time-related faults.