流程 4：手动和规则验证流程

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

手动验证流程

该流程允许用户在需求模块中直接向需求添加 V&V 活动，并手动更新状态。

为此，您可以双击需求模块中 "V&V 活动 "列的单元格并创建活动。

在这里，您将看到已添加的活动，并可通过点击 "链接活动 "按钮将现有活动链接到该需求。

在这里，您可以从下拉菜单中选择一个现有活动，也可以选择一个区块。

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

规则验证流程

用户可以通过布尔表达式（例如，"设计质量是否低于最大要求质量？）

为此，请确保您已在两侧（系统设计模块和需求模块）建立了 Valis。要建立规则，请双击需求 "V&V 规则 "列中的单元格。

这将打开一个可定义规则的窗口。

要调用 Valis，只需键入美元符号 ($)，即可打开 Valis 下拉菜单，供您选择和搜索。

在本例中，我们将无人机群的实际质量与 "要求 "定义的最大允许质量进行比较。

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

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