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 缓存会被重新用于分析,并且诊断查看器中会显示一条警告消息,建议您如果要重建模型表示,则将 重新编译模型表示 选项设置为 始终

另请参阅

相关主题