基于需求的测试
基于需求的模型验证,解释和报告测试结果
在要求和测试工件之间设置验证链接类型,例如:
测试文件,测试套件和测试用例金宝app®Test™
金宝appSimulink Design Verifier™验证块
金宝appSimulink模型验证库块
使用实现状态指标检查您的要求是否已实现,并以一致性解决差距。使用验证状态指标来检查您的要求是否通过与其关联的测试进行验证。查看要求编辑器中设置的要求的实施和验证状态。运行测试后,查看结果摘要和地址测试失败。创建理由以将要求排除在实施和验证状态度量计算之外。
课程
slreq.Justification |
与之合作slreq.Justification 对象 |
slreq.verification.services.tap |
使用外部结果来源 |
slreq.verification.services.junit |
使用外部结果来源 |
话题
- 审查要求实施状态
使用需求实施状态来检查模型中如何实现需求。
- 审查要求验证状态
使用要求验证状态检查与您的需求相关的测试结果。
- 链接到需求的测试案例
将测试用例与要求相关。
- 在需求编辑中跟踪测试案例的变化
跟踪与要求编辑器中要求相关的测试用例的变化。
- 证明要求
为您的要求提供理由。
- 在验证状态中包括外部来源的结果
链接并反映需求验证状态中外部来源的结果。
- 链接到测试脚本
将需求与MATLAB联系起来®脚本。
- 链接到结果文件
将需求链接到测试结果文件。