使用验证管理器- MATLAB & Simulink构建仿真测试

使用验证管理器构建模拟测试

动态仿真模块^®模型验证库块根据分配给块的规范评估模型中的时域信号。当信号超出指定的限制或范围时，模型验证块返回一个断言。仿真过程中，当信号超过限制值时，验证块可以:

有关各个模型验证块的参考信息，请参见模型验证．

如果你使用信号生成器块来为您的模型提供测试信号，您可以通过验证管理器图形界面启用和禁用模型验证块。若要打开“验证管理器”，请在“信号生成器”对话框工具栏上选择显示验证设置图标．

开放模式

本例使用检查静态下界块停止模型仿真时，信号从正弦波块越过其下界限制。

在模型中，Check Static下界块有一个下界参数的-0.8．该断言被禁用，因此该块被划掉。

1.双击“检查静态下界”块，并选择启用断言复选框。该参数启用验证块的断言。在模型中，块不再被划掉。

2.运行模拟。1.29517秒后，当来自正弦波块的信号达到-0.8的下界时，验证块用以下诊断消息停止模拟:

在运行模拟时发生错误，模拟已终止。原因:在时间为1.29517的“ex_model_verif_block_check_static_lower_errwarn/Check Static Lower Bound”中检测到断言

3.要验证信号值，双击范围块。

开放模式

该模型包含一个Signal Builder块，该块向model Verification块提供五个测试信号。前四个信号直接连接到“静态上限检查”块。

第五个信号连接到包含“静态上限检查”块的子系统。

只有Check Static Upper Bound3块的断言被启用。其他Model Verification块在模型中被划掉，因为它们的断言被禁用了。

要打开验证管理器，双击Signal Builder块并选择显示验证设置图标。

验证管理器由验证块设置窗格和需求窗格。

的验证块设置窗格列出了模型中的所有模型验证块，按子系统分组。例如，在ex_verif_mgr_test_signals模型中,验证块设置窗格显示五个检查静态上界块。四个在模型的顶层，一个在子系统中。

中的，可以选择查看模型验证块的其他选项验证块设置面板:

的需求窗格列出当前信号组的需求文档链接。如果你有要求工具箱™，您可以通过此窗格将需求文档链接到测试用例及其相应的Model Verification块。

打开或关闭需求窗格，单击要求显示图标．
要将需求文档链接到测试用例，请使用需求窗格，右键单击并选择打开传出链接对话框从上下文菜单。在Outgoing Links对话框中，您可以浏览并选择一个需求文档。有关更多信息，请参见将测试用例链接到需求文档(需求工具箱)．

在Verification Manager中，每个验证块都有一个状态节点，用于指示其断言是启用还是禁用。状态节点还指示启用的设置是普遍适用还是仅适用于当前活动组。该表描述了右击节点时可用的不同类型的状态节点和上下文菜单选项。

节点	状态	菜单选项
	当前活动组的校验块被禁用。单击，对当前激活组启用。	为所有组阻塞启用—启用所有测试组的校验块。所有组的节点类型均更改为启用．
	当前活动组的校验块被禁用。单击，对当前激活组启用。	块组启用—启用当前活动组的校验块。节点类型变为“启用”．
	对当前活动组启用验证块。单击，禁用当前活动组。	为所有组阻塞启用—启用所有测试组的校验块。所有组的节点类型均更改为启用．
	对当前活动组启用验证块。单击，禁用当前活动组。	禁用块组—关闭当前活动组的校验块。节点类型变为禁用．
	对所有测试组启用验证块。	分组使能—将所有测试组的单独启用/禁用设置恢复到此块。根据您之前的选择，节点类型将更改为启用或禁用．