在此提交中，使用MATLAB脚本突变自动驾驶状态流模型。状态流模型的突变意味着将故意误差注入状态转变。每个突变文件只有一个错误。万博1manbetx然后使用Simulink设计验证仪来找到突变体。如果断言失败，则意味着突变体被杀死。该脚本能够为此特定的状态流模型生成突变体。随着次要更改，它应该能够突变任何状态流。另一个批处理脚本在循环中运行所有突变体，并在日志文件中报告结果。PDF文件对完成的工作有简要说明。这项练习的目的是确定复杂航空问题的SLDV性能。 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.