在要求和测试工件之间设置验证链接类型,例如:
中的测试文件、测试套件和测试用例金宝app®test™
金宝appSimulink Design Verifier™验证块
金宝appSimulink模型验证库块
使用实现状态指标检查您的要求是否已实现并以一致性地解决空白。使用验证状态指标检查您的要求是否通过运行与它们关联的测试来验证。查看要求编辑器中规定的要求和验证状态。运行测试后,查看结果摘要和地址测试失败。创建声明以排除从实施和验证状态度量计算的要求。
slreq。的理由 |
合作slreq。的理由 对象 |
slreq.verification.services.tap. |
与外部结果来源合作 |
slreq.verification.services.junit. |
与外部结果来源合作 |
使用要求实现状态检查模型中是否在模型中实现了广泛要求。
使用需求验证状态来检查与需求相关的测试和分析结果。
与要求相关的测试用例。
为您的要求提供理由。
链接并反映需求验证状态的外部来源的结果。
链接到MATLAB脚本的要求。
链接对测试结果文件的要求。