基于需求的测试
基于需求的模型验证,解释和报告测试结果
设置需求和测试工件之间的验证链接类型,例如:
中的测试文件、测试套件和测试用例金宝app®测试™
金宝appSimulink设计验证器™验证模块
金宝appSimulink模型验证库块
使用实现状态度量来检查您的需求是否被实现,并解决一致性方面的差距。使用验证状态度量来检查您的需求是否通过运行与之关联的测试得到验证。在需求编辑器中检查需求设置的实现和验证状态。运行测试后,查看结果摘要并处理测试失败。创建从实现和验证状态度量计算中排除需求的理由。
类
slreq。的理由 |
一起工作slreq。的理由 对象 |
slreq.verification.services.TAP |
使用外部结果来源 |
slreq.verification.services.JUnit |
使用外部结果来源 |
主题
- 评审需求实施状态
使用需求实现状态来检查需求在您的模型中实现的范围有多大。
- 评审需求验证状态
使用需求验证状态来检查与您的需求相关联的测试和分析结果。
- 从需求链接到测试用例
将测试用例与需求联系起来。
- 在需求编辑器中跟踪测试用例的变更
在需求编辑器中跟踪与需求相关联的测试用例的变更。
- 证明要求
为你的需求提供理由。
- 在验证状态中包括外部来源的结果
在需求验证状态中链接并反映外部来源的结果。
- 链接到测试脚本
将需求链接到MATLAB®脚本。
- 链接到结果文件
将需求链接到测试结果文件。