在需求和测试工件之间设置验证链接类型,例如:
测试文件,测试套件和测试用例万博1manbetx®测验™
万博1manbetxSimulink设计验证程序™验证块
万博1manbetxSimulink模型验证库块
使用实施状态指标检查您的需求是否得到实施,并解决一致性方面的差距。使用验证状态度量来检查是否通过运行与需求相关联的测试来验证需求。在需求编辑器中查看需求集的实施和验证状态。运行测试后,查看结果摘要并解决测试失败问题。创建理由,将需求排除在实施和验证状态度量计算之外。
slreq.理由 |
合作slreq.理由 物体 |
slreq.verification.services.TAP |
与外部结果来源合作 |
slreq.verification.services.JUnit |
与外部结果来源合作 |
使用需求实现状态检查需求在模型中的实现程度。
使用要求验证状态检查测试和分析结果链接到您的要求。
将测试用例与需求相关联。
为你的要求提供理由。
在需求验证状态中链接并反映外部来源的结果。
将需求链接到MATLAB脚本。
将需求链接到测试结果文件。