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