主要内容
基于要求的测试
基于要求的模型验证，解释和报告测试结果
在要求和测试工件之间设置验证链接类型，例如：
测试文件，测试套件和测试用例万博1manbetx®TEST™
万博1manbetxSimulink Design Verifier™验证块
万博1manbetxSimulink模型验证库块
使用实现状态指标检查您的要求是否已实现并以一致性地解决空白。使用验证状态指标检查您的要求是否通过运行与它们关联的测试来验证。查看要求编辑器中要求的执行和验证状态。运行测试后，查看结果摘要和地址测试失败。从实现和验证状态度量计算中释放要求的理由以排除要求。
班级
slreq.justification. |
合作slreq.justification.对象 |
slreq.verification.services.tap. |
与外部结果来源合作 |
slreq.verification.services.junit. |
与外部结果来源合作 |
话题
使用要求实现状态检查模型中实现了广泛要求。
使用要求验证状态检查测试和分析结果链接到您的要求。
与要求相关的测试用例。
为您的要求提供理由。
链接并反映需求验证状态的外部来源的结果。
链接到MATLAB脚本的要求。
链接对测试结果文件的要求。
特色例子
您还可以从以下列表中选择一个网站：
