Main Content

本页采用了机器翻译。点击此处可查看最新英文版本。

用于分析的模型表示

当您第一次分析模型时，Simulink® Design Verifier™ 会执行兼容性检查并创建模型表示。模型表示包含有关用于分析的模型行为的信息。默认情况下，软件将模型表示保存在Simulation cache folder位置。

如果您修改模型并重新运行分析，Simulink Design Verifier 将根据 重建模型表示 参数确定是否重建模型表示或使用现有的 Simulink 缓存。当 重新编译模型表示 选项设置为 如果检测到更改 并且软件检测到模型中的任何变化时，就会触发模型表示的重建。

重用模型表示进行分析

重新编译模型表示 选项默认设置为 如果检测到更改，软件会根据任何模型变化和 Simulink Design Verifier 分析选项验证模型表示。然后，软件确定是否重复使用或重建模型表示以进行分析。当您将该选项设置为 始终 时，每次模型分析期间都会重建模型表示。

当 重新编译模型表示 选项设置为 如果检测到更改 时，Simulink Design Verifier 会检查模型中的这些变化：

Simulink Design Verifier 选项

该软件会根据 Simulink Design Verifier 选项中的任何变化来验证模型表示。该表列出了不影响模型表示的选项，如果您更改其中任何选项，软件将重新使用模型表示。

设计验证器选项

测试生成选项

财产证明选项

结果生成选项

报告生成选项

模型的结构校验和

Simulink Design Verifier同时使用结构校验和和代码校验和。结构校验和是一种计算，用于检测模型中可能影响仿真结果的变化。有关影响模型的变化类型的更多信息，请参阅 重新编译。

注意

当你 为 Embedded Coder 生成的代码生成测试用例 时，Simulink Design Verifier 还会考虑生成代码的校验和。

附加依赖项

除了结构校验和之外，Simulink Design Verifier 还会检查模型依赖关系中可能影响分析结果的变化，例如：

  • 数据字典或 MATLAB® 基础、掩码或模型工作区中定义的仿真运行时参数

  • 模型在仿真中使用的外部 C 或 C++ 源代码文件

  • 为模块参数指定的最小和最大约束

  • 为 Simulink Design Verifier 模块库 中的模块指定的模块参数，例如 值

限制

  • 模型表示总是被重建：

    • 当从其他产品（例如 Simulink Test™、Simulink Coverage™、Simulink Check™ 和 Requirements Toolbox™）开始分析 Simulink Design Verifier 时。

    • 当模型包含MATLAB系统模块时。

  • Simulink Design Verifier 不会检测您应用的自定义模块替换规则中的更改，即使 重新编译模型表示 选项设置为 如果检测到更改 。在这种情况下，Simulink 缓存会被重新用于分析，并且诊断查看器中会显示一条警告消息，建议您如果要重建模型表示，则将 重新编译模型表示 选项设置为 始终。

另请参阅

相关主题