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