重用模型表示进行分析
当您第一次分析模型时，Simulink® Design Verifier™ 会执行兼容性检查并创建模型表示。模型表示包含有关用于分析的模型行为的信息。默认情况下，软件将模型表示保存在Simulation cache folder位置。
如果您修改模型并重新运行分析，Simulink Design Verifier 将根据 重新编译模型表示 参数确定是否重建模型表示或使用现有的 Simulink 缓存。
此表总结了根据其设置的重新编译模型表示选项的行为。
| 重新编译模型表示选项 | 行为 |
| 如果检测到更改 |
|
| 始终 | 无论是否发生更改，模型表示都会在每次模型分析期间重新构建。 |
模型更改检测的注意事项
当重新编译模型表示选项设置为如果检测到更改时，Simulink Design Verifier 会监视模型的更改。
Design Verifier 选项 | |
测试生成选项 | |
属性证明选项 | |
结果生成选项 | |
报告生成选项 | |
模型的结构校验和 | Simulink Design Verifier 同时使用结构校验和和代码校验和。结构校验和是一种计算，用于检测模型中可能影响仿真结果的变化。有关影响模型的变化类型的更多信息，请参阅 重新编译。 注意 当您 为 Embedded Coder 生成的代码生成测试用例 时，Simulink Design Verifier 还会考虑生成代码的校验和。
|
附加依存关系 | 除了结构校验和之外，Simulink Design Verifier 还会检查模型依存关系中可能影响分析结果的变化，例如：
|
限制
模型表示总是被重建：
当从其他产品（如 Simulink Test™、Simulink Coverage™、Simulink Check 和 Requirements toolbox）启动 Simulink Design Verifier 分析时。
当模型包含 MATLAB 系统模块时。
Simulink Design Verifier 不会检测您应用的自定义模块替换规则中的更改，即使重新编译模型表示选项设置为如果检测到更改。在这种情况下，Simulink 缓存将被重用于分析，并且诊断查看器中将显示一条警告消息，建议您将重新编译模型表示选项设置为始终，如果您想要重建模型表示。
