您可以在需求浏览器和需求编辑器中查看需求的验证状态。验证状态反映了模拟测试使用的结果金宝app®测试™或者性质证明金宝app仿真软件设计校验™.使用验证了从需求到模拟评估或证明目标的链接。
模拟测试:需求验证状态反映了以下链接的结果金宝app仿真软件测试项目在测试管理器中运行后:
测试文件
测试套房
测试用例
迭代
评估
学习如何验证需求金宝app仿真软件测试项,请参阅针对需求的测试模型和报告结果.
从Simulink测试管理器运行测试,金宝app或使用sltest.testmanager.run
(金宝app仿真软件测试).要获得关于创建和运行测试用例的简短教程,请遵循第一部分创建并运行基线测试(金宝app仿真软件测试).
运行时评估核实(金宝app仿真软件测试)
语句或模型验证模块(金宝app仿真软件测试)可以通过在测试管理器中通过测试用例监视那些评估来捕获。
请注意
要查看与Matlab撰写的测试链接的要求的验证状态®,则必须使用基于matlab的Simulink测试。金宝app看到使用基于matlab的Simulink测试模型金宝app(金宝app仿真软件测试).
财产证明:验证状态反映了使用:
金宝app仿真软件设计验证器客观的证据块。
模型验证模块。
将区块链接到需求,然后分析属性。有关更多信息,请参见要求链接.
要了解如何在验证状态中包含来自外部来源的结果,请参见在验证状态中包括来自外部来源的结果.
验证状态总结在验证列的需求浏览器和需求编辑器。显示列:
在需求编辑器中,选择列>验证状态
在模型窗口的Requirements Browser窗格中,右键单击一个需求并选择验证状态.
例如,验证列显示此要求集的部分验证链接,其中一个失败的结果:
条形图的完满度表示一个组(父组+子组)中有多少需求链接到验证项。颜色表示测试或分析结果:
通过了(绿色):相关测试通过,或分析证明了目标。
失败的(红色):相关测试失败,或分析篡改了目标。
合理的(浅蓝色):该要求被排除在有理由的状态之外。有关更多信息,请参见证明要求.
未精确的:(黄色):相关测试或目标:
没有运行或执行
是否比最近的结果更新得更近
没有任何(无色):要求没有验证了链接)。
您可以通过运行与您的要求链接的测试或分析来更新验证状态:
在需求编辑器中,右键单击需求并选择运行测试.
在“运行测试”对话框中,选择测试。
点击运行测试.
还可以通过在需求编辑器之外运行测试或分析来更新验证状态:
在金宝app仿真软件测试,在测试管理器中运行测试。
在金宝app仿真软件设计验证器,进行性能证明分析。
在Si金宝appmulink中,运行包含模型验证块的模型。
请注意
如果你把需求链接到金宝app仿真软件设计验证器证明目标块在多个模型,运行测试对话框运行a金宝app仿真软件设计验证器当相应的模型打开时分析。
您可以在需求报告中包括验证状态:
在“要求编辑”菜单中,选择报告>生成报告.
选择验证状态.
点击生成报告.
有关更多信息,请参见报告需求信息