流程 4 手动规则验证流程

以下两个流程允许用户直接从需求模块设置验证。

手动验证流程

该流程允许用户在需求模块中直接为需求添加一个 V&V 活动，并手动更新状态。为此，您可以双击需求模块中的 V&V Activities列中的单元格，并创建一个活动链接。

打开的 Verification & Validation Items打开的窗口会显示已添加的活动。单击 按钮，将现有活动链接到需求。在打开的 Link Activity在打开的窗口中，您可以选择一个现有活动，也可以选择一个区块。

之后，您可以直接手动分配状态，或通过动态链接跳转到活动或运行。

规则验证流程

通过布尔表达式（例如，"设计质量是否低于最大要求质量？）为此，请确保您已在两侧（块模块和需求模块）建立了 Valis。要建立规则，请双击要求模块中 V&V Rules列中的一个单元格。这将打开一个可以定义规则的窗口。

要调用 Valis，请键入美元符号 ($) 将打开一个下拉菜单，其中包含可供选择和搜索的 Valis。在下面的示例中，无人机动力系统的实际质量与 "要求 "定义的最大允许质量进行了比较。

在本例中，由于 0.44 千克（设计质量）小于 0.5 千克（最大要求质量），因此验证了该规则。

这也将显示在整体验证状态的 V&V Status栏中显示。