准备模型以进行测试生成分析

配置模型设置

1.打开模型。

open_system("sldvexCruiseControl");

2.在 App 选项卡的 App 库中，选择 Design Verifier。

3.在 Design Verifier 选项卡的准备部分中，从模式设置的下拉菜单中点击设置。

4.在“配置参数”对话框中，选择求解器窗格。在求解器选择部分中：

Simulink Design Verifier 仅分析使用固定步长求解器的模型。有关详细信息，请参阅 Simulink 中的定步长求解器。

检查模型的兼容性

当您分析模型时，Simulink Design Verifier 会首先执行兼容性检查。当模型编译无错误时，该模型兼容，适合进行分析。如果您的模型不兼容，软件将无法分析它。

您可以在分析前检查模型的兼容性。在 Simulink 编辑器的 Design Verifier 选项卡上，点击检查兼容性。

如果兼容性检查表明您的模型部分兼容，则您的模型至少包含一个 Simulink Design Verifier 不支持的对象。您可以分析部分兼容的模型，但默认情况下，不受支持的对象将被插桩隔离，并且分析结果可能不完整。有关自动插桩的详细信息，请参阅使用自动插桩处理不兼容问题。

如果模型与 Simulink Design Verifier 不兼容，您可以通过诊断查看器消息识别并修复不兼容问题。有关详细信息，请参阅对错误和警告进行系统化诊断。