检查模型兼容性以进行分析
在 Simulink® Design Verifier™ 分析模型之前，软件会检查模型是否兼容并适合进行分析。满足以下情况时，模型兼容，适合进行分析：
模型被编译成可执行形式。
模型与代码生成兼容。
模型执行零秒仿真且无错误，即，仿真开始和停止时间均为
0。
软件支持模型中的广泛 Simulink 和 Stateflow® 软件功能。但是，有些功能产品不支持，如Simulink Design Verifier 对 Simulink 软件功能的支持限制和Stateflow 软件功能的支持限制中所述。
有关支持的 Simulink 模块的详细信息，请参阅Simulink Design Verifier 中支持和不支持的 Simulink 模块。
运行兼容性检查
在软件开始分析之前，它会检查模型的兼容性，然后创建模型表示。模型表示包含在分析过程中使用的模型工件。有关详细信息，请参阅重用模型表示进行分析。
在开始分析之前，您可以使用以下方法之一对模型运行兼容性检查。当您使用其中任何一种方法时，模型表示始终会重新构建。
在 Design Verifier 选项卡的分析部分中，点击检查兼容性。
在模型顾问中，依次选择按产品 > Simulink Design Verifier > 检查与 Simulink Design Verifier 的兼容性或按任务 > Simulink Design Verifier 兼容性检查 > 检查与 Simulink Design Verifier 的兼容性。点击运行此检查。
有关详细信息，请参阅Simulink Design Verifier 检查。
要在命令行或 MATLAB® 程序中以编程方式运行兼容性检查，请使用
sldvcompat函数。有关详细信息，请参阅sldvcompat。要检查 Subsystem 的兼容性，请右键点击 Subsystem，然后依次选择 Design Verifier > 检查子系统兼容性。
兼容性检查结果
当您对模型运行兼容性检查时，“结果摘要”窗口会显示以下结果之一：
模型兼容
如果模型兼容，您可以在“结果摘要”窗口中继续进行分析。例如，要继续进行测试生成分析，请点击生成测试。
注意
完成兼容性检查后，如果您更改模型，则无法在“结果摘要”窗口中继续进行分析。如果您更改了模型，请重新运行兼容性检查以进行分析。
模型不兼容
如果模型与 Simulink Design Verifier 不兼容，您可以通过诊断查看器消息识别并修复不兼容问题。有关详细信息，请参阅对错误和警告进行系统化诊断。
如果您的模型使用变步长求解器，请将求解器类型配置为定步长。
如果您的模型包含非有限数据，请更改数据的值或配置模型，以便在 Simulink Design Verifier 分析过程中将数据视为变量。有关详细信息，请参阅Simulink Design Verifier 对 Simulink 软件功能的支持限制。
如果您的模型较大并且包含许多子系统，您可以使用测试生成顾问来确定某些子系统是否会导致不兼容。有关详细信息，请参阅使用测试生成顾问识别可分析组件。
模型部分兼容
如果模型中至少有一个模型对象不兼容，则意味着该模型部分兼容。Simulink Design Verifier 会通过插桩替换不支持的元素来继续对部分兼容模型进行分析。默认情况下，不支持的模块和函数的自动插桩选项设置为 On。有关详细信息，请参阅使用自动插桩处理不兼容问题。
