探索 MATLAB 开发中的 Stateflow Mutation 与 Simulink 设计验证器 - 第 05 部分

在本次提交中，使用 Matlab 脚本对自动驾驶仪 Stateflow 模型进行了变异。 Stateflow 模型的变异意味着将故意的错误注入到状态转换中。 每个突变文件只有一个错误。 然后使用 Simulink Design Verifier 查找突变体。 如果断言失败，则意味着该突变体被杀死。 该脚本能够为该特定Stateflow模型生成变量。 通过微小的更改，它应该能够改变任何 Stateflow。 另一个批处理脚本循环运行所有突变体，并在日志文件中报告结果。 PDF 文件简要说明了所做的工作。 本练习的目的是确定 SLDV 在复杂航空航天问题上的性能。 之前提交的有一个 Simulink 模型和一个 M 文件函数模型，用于相同的自动驾驶模式转换。 这里修改了 M 文件，为每个需求写了一个 sldv 命令。 然后通过伪造断言来为 Stateflow 模型生成基于需求的测试。