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