评审需求验证状态
您可以查看您的需求在需求的验证状态浏览器和需求编辑器。反映了模拟测试结果使用的验证状态万博1manbetx®测试™或财产证明使用万博1manbetx仿真软件设计校验™。使用验证了链接从需求到仿真评估或证明的目标。
模拟测试:要求验证状态反映了以下可链接的结果万博1manbetx仿真软件测试项目运行后在测试经理:
测试文件
测试套件
测试用例
迭代
评估
学习如何验证需求万博1manbetx仿真软件测试项,请参阅测试模型对需求和报告结果。
运行测试的仿真软件测试经理,或者使用万博1manbetx
sltest.testmanager.run(万博1manbetx仿真软件测试)。对于一个简短的教程创建和运行一个测试用例,跟踪的第一部分创建并运行一个基准测试(万博1manbetx仿真软件测试)。运行时评估
验证(万博1manbetx仿真软件测试)语句或模型验证模块(万博1manbetx仿真软件测试)可以被监测评估通过的测试用例在测试经理。请注意
查看验证状态的要求与一个测试用MATLAB编写的®,您必须使用一个基于matlab的仿真软件测试。万博1manbetx看到利用基于matlab的仿真软件测试模型的测试万博1manbetx(万博1manbetx仿真软件测试)。
财产证明:验证状态反映了属性建模使用的分析结果:
万博1manbetx仿真软件设计验证器客观的证据块。
模型验证模块。
链接块需求,然后分析属性。有关更多信息,请参见要求链接。
学习如何从外部来源包括结果的验证状态,明白了从外部来源包括结果验证状态。
显示验证状态
验证状态了验证编辑列浏览器的需求和要求。显示列:
在需求编辑器中,选择
列>验证状态在需求模型的浏览器窗格窗口中,右键单击并选择要求验证状态。
例如,验证列显示部分验证链接这个需求集,和一个失败的结果:
酒吧的丰满表明有多少需求(父母+儿童)与一组验证项目。颜色显示测试或分析结果:
通过了(绿色):链接测试(s)通过,或分析证明了目标(s)。
失败的(红):连接测试(s)失败,或伪造的客观分析。
合理的(浅蓝色):要求是排除在状态的理由。有关更多信息,请参见证明要求。
未实行的:(黄色):连接测试(s)或目标(s):
没有运行或执行
比最近的最近更新的结果吗
没有一个(无色):没有要求验证了链接(s)。
更新验证状态通过运行测试或分析
您可以通过运行测试更新验证状态或与您的需求分析:
在需求编辑器中,右键单击并选择要求运行测试。
在运行测试对话框中,选择测试。
点击运行测试。
你也可以通过运行测试或更新验证状态分析之外的需求编辑器:
在万博1manbetx仿真软件测试运行测试,测试经理。
在万博1manbetx仿真软件设计验证器,财产证明运行分析。
在仿真万博1manbetx软件,运行模型,该模型包含了模型验证模块。
请注意
如果你有相关需求万博1manbetx仿真软件设计验证器在多个模型,证明目标块运行测试对话框运行万博1manbetx仿真软件设计验证器分析时,相应的模型是开放的。
包括验证状态的报告
你可以在你的要求报告:包括验证状态
在需求编辑菜单中,选择报告>生成报告。
选择验证状态。
点击生成报告。
有关更多信息,请参见报告需求信息
