使用观察者隔离验证逻辑

您可以使用Observer Reference模块隔离模型中的验证逻辑。当您想将验证逻辑与设计模型分开时，请使用Observer Reference模块。当你使用Observer Reference (Simulink Test)时，你可以对Observer模型进行更改，而无需更改设计模型。使用 Observer Reference 模块可以帮助您在模型设计早期或跨多个模型设计指定属性或需求。Observer Reference模块还允许您：

模型设计需求作为属性，并使用Simulink^® Design Verifier™来证明它们。
根据捕获的输出建立基线结果并检测模型回归。
使用自定义测试目标生成功能设计需求的测试用例。

双击 Observer Reference模块以打开Observer模型。Observer Reference 模块只能位于系统模型的顶层，并且没有输入端口。有关更多信息，请参阅使用观测器以无线方式访问模型数据 (Simulink Test) 。

用 Observer Reference 模块替换验证子系统

在编写自定义验证目标时，可以使用 Observer Reference模块代替 Verification Subsystem模块。Observer Reference模块引用一个单独的验证模型，称为Observer模型，您可以使用该模型来验证您的系统模型。将 Verification Subsystem模块转换为 Observer Reference模块可以使系统模型更加清晰。要将 Verification Subsystem模块转换为 Observer Reference模块，请右键单击验证子系统并选择 观察者 > 将选定模块移动到Observer > 新建Observer。此操作无法撤消。此操作会将 Observer Reference模块添加到您的系统模型并打开Observer模型。您必须将Observer模型保存在 MATLAB^® 路径下的可写文件夹中。

考虑模型sldvdemo_debounce_validprop 包含 Verification Subsystem模块Verify Output 的情况。

通过将子系统转换为 Observer Reference模块，您可以删除将子系统连接到系统模型的信号，同时保留测试系统完整性的能力。

两个信号 debounce 和 raw 自动映射到Observer模型中的两个 Observer Port 模块 sldvdemo_debounce_validprop_Observer1 。

您可以验证sldvdemo_debounce_validprop的属性，而无需对设计模型进行任何更改。

关于 Observer Reference 区模块的报告

如果您的模型包含 Observer Reference模块，则 Simulink Design Verifier 分析报告将显示 Observer 模型 子部分中 Observer Reference 模块的属性证明、测试用例生成和设计错误信息以及 设计模型 子部分中的设计模型信息。有关更多信息，请参阅审查结果。

限制

Simulink Design Verifier 不支持：
- 包含 Model 模块的Observer模型
- Observer模型观察恒定信号
- 将模块替换规则应用于Observer模型
- 以与设计模型不同的基本速率运行的Observer模型
- 调整Observer模型中的参数
- 针对包含 Observer Reference 模块的模型，对 Embedded Coder^® 生成的代码进行测试生成
- 使用可变步长求解器设置执行分析的Observer模型
  注意
  如果Observer模型包含此列表中的任何限制，软件将在分析过程中忽略相应的 Observer Reference模块。
当您执行以下操作时，Simulink Design Verifier 分析将返回错误：
- 分析独立的Observer模型
- 对 Observer Reference模块执行子系统提取

另请参阅

Observer Port (Simulink Test) | Observer Reference (Simulink Test) | 使用 Observer Reference 模块进行属性证明分析 | 使用 Observer Reference 模块生成测试用例

外部网站

使用观测器以无线方式访问模型数据 (Simulink Test)