风扇教程 3b - 验证系统 - 测试模块

本教程将讨论如何使用需求和系统门户执行验证和确认。我们在之前的教程中为 ValiFan 项目创建了需求和模块。本教程将解释如何将验证方法添加到需求中，如何使用关闭引用对其进行验证，并演示 Requirements & Systems Portal 中的自动验证方法。

在开始之前，让我们回顾一下需求与系统门户中验证的基础知识。需求连接到一个或多个系统或子系统。这些 "块 "可通过验证方法进行验证。一个块的需求可以用一种或多种方法来验证。Requirements & Systems Portal 提供五种默认验证方法：规则、检查、分析、审查和测试。

我们将探讨如何为需求添加块和验证方法，并用每种验证方法进行验证。

(1) 在规范中添加默认模块

让我们把 Fan模块作为默认模块 Fan_Specs.要在规范中添加默认块，请执行以下操作

• 选择 Fan_Specs(1)并点击 "规格信息 "选项卡。 (2)进入 Fan_specs 详细信息选项卡（见图 Specification Info)

• 在 "规范信息 "选项卡中，点击 "默认块"，在下拉菜单中选择 "风扇"，将其作为默认块添加到 "规范 "中（见图）。 Default Specification Block).

选择 "风扇 "作为默认区块后，系统会询问您："是否要添加区块？"您是否要为现有需求添加块？(1)的弹出框。选择 "是的，我确定"。(2).

将默认模块添加到规范中 - 选择此选项会自动将模块添加到需求的验证方法中。

(2) 创建和加载验证视图

Requirements & Systems Portal offers various pre-selected attributes, such as Identifier, Text, Parents, Children, Type, State, Verification Status, Verification Methods, Blocks, Closeout References, Tags, and Properties. However, this may lead to excessive horizontal scrolling on smaller screens. To streamline the Verification process, users can generate custom views with only the essential attributes. Let's create a new view for the Verification and load it.

• 将鼠标悬停在任何一个属性名称单元格上。如下图所示，会显示一个新图标。点击图标打开菜单。

访问列的附加信息。

• 点击图标后，会出现一个新的对话框，选择最后一个图标，其中有三个垂直窗口。

选择要在表中显示的列。

• 在这个对话框中，取消选择所有属性，只选择以下属性：文本、父节点、子节点、适用块、验证状态、验证方法、关闭引用和标签。

• 完成后，右键单击表格打开表格菜单。在对话框中，选择 Save View.

保存视图 - 通过保存视图，所有选定的列、列宽和应用的筛选器都将保存在专用视图中。

• 此时将打开一个新的对话框，您可以在其中输入 "Verification_View"（验证视图）。 Save as new(1),选择 Private(2),然后单击 Save(3).

保存视图 - 在此，您可以选择视图的名称，以及视图是私有的（只有您可以看到）还是公开的（所有合作者都可以看到），还可以选择视图是否是收藏视图。

• 保存视图后，用户可以右键单击表格，选择选项 Load View并选择 Verification_Views.

(3) 为需求添加验证方法

Requirements & Systems Portal has five default Verification Methods: Rules, Inspection, Analysis, Review and Test. Inspection, Analysis and Review are manual verification methods, while the Rules and Tests are automatically updated based on the triggers in the System Design Module and Test Module. We will create each Verification Method and show you how to attach the Closeout References.

手动验证方法

让我们在需求中添加手动验证方法 R-Fan-001.为此

• 点击需求栏的 Actions列上的三点图标，然后选择 Add Verification Method.

• 一个新的对话框就会打开，你可以在其中选择验证方法。对于手动验证方法，我们将选择 Inspection然后点击 Yes确认窗口。

• 请查看下面的教程了解流程。

为需求添加验证方法

添加验证方法后会发生什么？

• 一旦我们为一个需求指定了验证方法，它就会添加到下面。你可以点击 >符号 R-Fan-001.点击 >符号会展开验证方法行（见图 Requirement Verification Method).

要求检验方法 - 检验方法显示在要求下方的下拉菜单中。

需求上的验证 - 附有验证方法和区块的需求。

更改验证状态

要更新区块的验证状态，请按照以下简单步骤操作。首先，通过彻底检查确保区块符合我们的标准。确认符合要求后，双击区块 "验证状态 "栏中的红框，从下拉菜单中选择 "已验证"（见图 5）。 (1)见图 Changing Verification Status).

更改验证状态--双击红框可打开下拉菜单，选择当前的验证状态。

区块的行颜色将从红色变为绿色，表示已通过验证。要确认更新已成功执行，请检查数字 - 现在应显示 "1/1"。

要求已验证 - 当验证状态变为 "已验证 "时，颜色会发生变化，清楚地表明块满足了您的要求。

Automatic Verification Method

规则 - 验证方法 - 根据要求跟踪您的 Valis

Most technical developments are designed against strict requirements, e.g., mass, power consumption, budget, etc. Requirements & Systems Portal maintains a complete overview of whether your design fulfils all of these requirements.

• 在 R-Fan-001行中，点击标识符附近的三点图标并选择第一个选项、 Add Verification Method.在弹出的 "添加新验证方法 "中，选择 "规则 "并点击 "是"。

• 点击 R-Fan-001 附近的小箭头按钮，再点击规则旁边的小箭头按钮，打开下一行的风扇区块。

• 双击关闭参考列中的单元格 (1)弹出添加规则的窗口（见下图 Adding a Rule).

• 在弹出窗口中键入以下规则 $Fan.Mass = 300g(1).点击 "完成 (2) - 见图 Rule Verification Method

规则验证方法 - 通过在需求中添加各种规则，可以对系统设计进行自动验证。

Requirements & Systems Portal 会自动检查该规则的验证情况。需求通知上的绿色 2/2通知上的绿色表示该需求已满足并通过两种验证方法进行了验证。请使用下面的点击式教程进行学习：

• 您也可以随时通过打开 Verification Status选项卡 Requirements模块。

验证状态选项卡 - 显示所选规范中需求的整体验证状态。

测试 - 验证方法（可选）

可选教程

The test verification method works concurrently with the “Tests Module”. Within the “Tests Module”, the user can write the testing procedure and attach requirements and Blocks to it. During the testing phase of the Block, the testing engineer can perform the test runs and verify if the test is approved or not. Based on the test run results, the verification status of the requirements gets updated automatically.

创建新的测试过程。

在本节中，我们将创建一个简短的测试程序，执行测试并观察验证过程。为此，我们将

• 选择测试模块(1)并在模块屏幕上单击 + Test Procedure(2)

测试模块 - 访问和创建测试程序。

• 此时将打开一个对话框，用户可在其中输入测试程序的名称，如 Mass_measurement_of_ValiFan然后点击 Create.

• 创建测试程序后，用户可在右侧定义测试程序的细节并编写步骤。在详细信息部分，找到 Units under test并将块 Fan添加到测试程序中。

创建新测试程序并添加 "被测单元

现在，让我们创建测试步骤、预期结果和需求

• 点击右下方的 "+"添加测试步骤。这将打开一个新的对话框，您可以在其中添加 Preparing the Equipment到标题部分。在文本框中输入以下文本：

1. 将精密天平放在稳定和水平的表面上。

2. 打开精密天平并使其稳定。

3. 根据制造商的指南校准精密天平。

添加测试步骤

同样，添加以下步骤，并提供以下详细信息。

Title	Text
确定风扇的质量。	小心地将风扇放在精密天平盘的中心。 将显示的质量读数记录为风扇的质量，单位为克 (g) 或千克 (kg)。 确保风扇在测量过程中保持静止，以获得准确的读数。

现在，将预期结果与步骤 1 和步骤 2 相加。

• 双击步骤 1 行中的 "预期结果 "单元格，添加以下文字 "天平应显示 0.0g

• 在第二步中添加以下信息："质量应小于 300 克"。

该测试程序的第二步可验证以下要求 R-Fan-001.因此，让我们在第二步中添加该要求。

• 将鼠标移至步骤 2 的 "需求 "列单元格。点击 + Add requirement.

• 点击后，将打开一个新对话框。在下拉菜单中键入或选择 R-Fan-001和 Save.

将测试步骤保存到需求后，将在需求上创建一个新的验证方法。测试步骤也会作为结束参考添加到块中。这意味着，如果测试工程师执行测试运行并获得批准，需求将根据测试结果自动更新。下面的视频演示了所有这些步骤，但它不是教程的一部分。如果您有兴趣尝试，请观看视频。

测试运行和测试运行状态自动传播到需求

验证任务矩阵

The requirements Module has a feature named "Verification Assignment Matrix". This feature allows the user to view a matrix that shows which Verification Methods are assigned to each requirement. Additionally, users can easily add or remove verification methods within this matrix. To do so, follow the steps provided.

• 在需求模块中，选择以下部分 Verification Assignment Matrix(1)

• 

  ​​​​​

• 在与 "规则 "验证矩阵和要求一致的单元格上 R-Fan-002,点击该单元格。这将自动为需求创建规则验证方法。

• 同样，你也可以点击其他单元格，快速添加验证方法。

下一步？

恭喜你，现在你对 Requirements & Systems Portal 已经了如指掌！

您可以继续改进您的 Desktop Fan 项目。以下是一些想法：

• 为您的需求添加合规性

• 在需求之间添加一些父/子关系，检查连接图，并注意需求上的颜色代码。

• 右键单击需求表和导出选项。