主要内容

评审需求验证状态

您可以在requirements Browser和中查看需求的验证状态要求编辑器．验证状态反映了使用模拟测试的结果金宝app®测试™或者财产证明使用金宝appSimulink设计验证器™．使用验证输入从需求到模拟评估或证明目标的链接。有关更多信息，请参见链接类型．

验证功能需求

需求类型指定了需求的角色。类的子类型的自定义类型的需求功能类型，意味着将被实现并贡献给验证状态摘要。其他需求类型对验证状态没有贡献。有关更多信息，请参见需求类型而且使用sl_customization文件定义自定义需求和链接类型．

您可以通过将功能需求与某些验证项相链接来验证它们验证链接类型。

  • MATLAB®测试:需求验证状态反映在MATLAB单元测试中运行的结果要求编辑器或使用slreq.ReqSet.runTests．有关更多信息，请参见用MATLAB测试验证需求而且编写单元测试的方法．

  • 模拟测试:需求验证状态反映以下可链接的结果金宝app仿真软件测试在测试管理器中运行这些项后:

    • 测试文件

    • 测试套件

    • 测试用例

    • 迭代

    • 评估

    学习如何验证需求金宝app仿真软件测试项,请参阅根据需求测试模型并报告结果．

    从Simulink测试管理器中运行测试金宝app，或使用sltest.testmanager.run(金宝app仿真软件测试)．关于创建和运行测试用例的简短教程，请参见的第一部分创建并运行基线测试(金宝app仿真软件测试)．

    捕获运行时评估验证(金宝app仿真软件测试)语句或模型验证块(金宝app仿真软件测试)通过测试管理器中的测试用例监控这些评估。

    的“测试序列”块中的步骤验证(金宝app仿真软件测试)语句转换为一个需求，然后您可以可视化该需求对应的验证状态验证声明时:

    • 测试工具:您模拟包含test Sequence块的测试集，并在Simulink Data Inspector (SDI)中打开模拟结果金宝app

    • 测试经理:在其中运行测试金宝app仿真软件测试执行测试序列块的步骤包含验证声明。

    或者，使用运行测试选项中的runTests函数为指定的需求运行批测试。

    手动设置步骤的链路类型为验证了当步骤不包含任何时验证语句，则验证状态将保持不变未实行的．断言语句将不会被标记为验证了在需求编辑器中。有关更多信息，请参见使用模型仿真评估验证语句(金宝app仿真软件测试)．

  • 财产证明验证状态反映了使用以下方法建模的属性的分析结果:

    • 金宝appSimulink设计验证器客观的证据块

    • 模型验证块

    链接块到需求，然后分析属性。有关更多信息，请参见通过分析模型属性来验证需求．

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

运行链路验证分析

要求工具箱™在运行之前不执行链路验证分析。您可以运行分析要求编辑器或者需求透视。

旗帜在要求编辑器或“需求透视”指示等待结果的时间。要运行分析，请单击分析现在在横幅上。或者,单击刷新在要求编辑器或者刷新按钮在需求透视中。

链路验证分析在后台持续运行，直到您使用为止slreq.clear．

或者，您可以使用updateVerificationStatus而且getVerificationStatus中的分析，在MATLAB命令行中查看验证状态要求编辑器或者需求透视。你也可以使用slreq.ReqSet.runTests运行链接到需求集中需求的测试，并在命令行上获取验证状态。

显示验证状态

对验证状态进行了总结验证栏的需求浏览器和要求编辑器．使用实例显示列。

  • 在要求编辑器中,选择列>验证状态

  • 在模型窗口的Requirements Browser窗格中，右键单击一个需求并选择验证状态．

例如，验证列显示此需求集的部分验证链接，其中有一个失败的结果。

条的丰满度表示一个组中有多少需求，包括父需求和任何子需求链接到验证项。颜色表示测试或分析结果:

  • 通过了(绿色):关联测试通过了，或者分析证明了目标。

  • 失败的(红色):关联测试失败，或者分析伪造了目标。

  • 合理的(浅蓝色):以合理的理由将需求从状态中排除。有关更多信息，请参见证明要求．

  • 未实行的:(黄色):关联的测试或目标:

    • 没有运行或执行

    • 是否比最近的结果更新得更近

  • 没有一个(无色):要求无验证链接类型。

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

您可以通过运行与您的需求相关联的测试或分析来更新验证状态。

  1. 在要求编辑器，右键单击需求并选择运行测试．

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

  3. 点击运行测试．

的外部运行测试或分析，也可以更新验证状态要求编辑器．

  • 在金宝app仿真软件测试，在“测试管理器”中运行测试。

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

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

请注意

如果您已将需求链接到金宝appSimulink设计验证器证明目标块在多个模型中运行测试对话框运行金宝appSimulink设计验证器当相应的模型打开时进行分析。

在报告中包括验证状态

您可以在需求报告中包含验证状态。

  1. 在要求编辑器菜单中,选择报告>生成报告．

  2. 选择验证状态．

  3. 点击生成报告．

有关更多信息，请参见报告要求信息．

另请参阅

相关的例子

更多关于