使用观察者隔离验证逻辑
您可以使用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)