Main Content

审查要求验证状态

You can view the verification status of your requirements in the Requirements Browser and要求编辑。The verification status reflects results from simulation testing using金宝app®Test™或属性证明使用金宝appSimulink Design Verifier™。采用核实类型从需求到模拟评估或证明目标的链接。有关更多信息，请参阅链接类型。

验证功能要求

需求类型指定了需求的作用。功能要求旨在实施并有助于验证状态，以及具有自定义类型的要求，该类型是功能。Other requirement types do not contribute to verification status. For more information, see需求类型andDefine Custom Requirement and Link Types。

You can verify functional requirements by linking them with certain verification items with核实类型链接。

您还可以通过链接到外部结果来源来验证要求Confirm类型链接。有关更多信息，请参阅在验证状态中包括外部来源的结果

Display Verification Status

验证状态总结在经过验证column of the Requirements Browser and要求编辑。To display the column:

  • 在the要求编辑， 选择列>Verification Status

  • 在要求窗口窗口的浏览器窗格中，右键单击要求并选择Verification Status。

For example, the经过验证column shows partial verification links for this requirement set, with one failed result:

栏的充实表明，一组（父母 +子女）中有多少要求与验证项目有关。颜色表示测试或分析结果：

  • 通过（绿色）：通过链接的测试或通过分析证明了目标。

  • 失败的（红色）：链接测试失败，或分析伪造了目标。

  • Justified（浅蓝色）：要求以理由从状态中排除。有关更多信息，请参阅Justify Requirements。

  • Unexecuted:（黄色）：链接的测试或目标：

    • 尚未运行或执行

    • 最近的更新比最近的结果更新

  • None（无色）：要求没有核实类型链接。

通过运行测试或分析来更新验证状态

You can update the verification status by running tests or analyses linked to your requirements:

  1. 在the要求编辑, right click the requirement and select运行测试。

  2. 在“运行测试”对话框中，选择测试。

  3. 点击运行测试。

您还可以通过运行测试或分析来更新验证状态要求编辑：

  • 在金宝appSimulink测试，在测试管理器中运行测试。

  • 在金宝appSimulink设计验证者，运行属性证明分析。

  • 在Si金宝appmulink中，运行包含模型验证块的模型。

笔记

如果您有链接的要求金宝appSimulink设计验证者在多个模型中的证明目标块，运行测试dialog box runs a金宝appSimulink设计验证者analysis when the corresponding models are open.

在报告中包括验证状态

您可以在需求报告中包括验证状态：

  1. 在the要求编辑菜单，选择报告>生成报告。

  2. 选择Verification Status。

  3. 点击生成报告。

有关更多信息，请参阅报告需求信息

也可以看看

Related Topics