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