In this submission an autopilot Stateflow model is mutated using a Matlab script. Mutation of a Stateflow model means injecting a deliberate error into a state transition. Each mutant file has only one error. Simulink Design Verifier is then used to find the mutants. If an assertion fails it means that the mutant is killed. The script is able to generate mutants for this particular Stateflow model. With minor changes it should be able to mutate any Stateflow. Another batch script runs all the mutants in a loop and reports the results in a log file. The PDF file has a brief explanation of the work done. The intent of this exercise is to ascertain the SLDV performance on a complex aerospace problem.
-
Notifications
You must be signed in to change notification settings - Fork 1
In this submission an autopilot Stateflow model is mutated using a Matlab script. Mutation of a Stateflow model means injecting a deliberate error into a state transition. Each mutant file has only one error. Simulink Design Verifier is then used to find the mutants. If an assertion fails it means that the mutant is killed. The script is able to…
natasha-jeppu/Exploring-Simulink-Design-Verifier-5
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
In this submission an autopilot Stateflow model is mutated using a Matlab script. Mutation of a Stateflow model means injecting a deliberate error into a state transition. Each mutant file has only one error. Simulink Design Verifier is then used to find the mutants. If an assertion fails it means that the mutant is killed. The script is able to…
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published