Exploring Design Verifier - 05
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. Earlier submission had a Simulink model and a M file function model for the same autopilot mode transition. The M File is modified here to write a sldv command for every requirement. This is then used to generate requirement based tests for the Stateflow model by falsifying the assertion.
引用格式
Natasha Jeppu (2024). Exploring Design Verifier - 05 (https://www.mathworks.com/matlabcentral/fileexchange/63815-exploring-design-verifier-05), MATLAB Central File Exchange. 检索来源 .
MATLAB 版本兼容性
平台兼容性
Windows macOS Linux标签
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!版本 | 已发布 | 发行说明 | |
---|---|---|---|
1.0.0.0 |