基于需求的测试
基于需求的模型验证、解释和报告测试结果
设置验证链接类型之间的需求和测试的构件(如:
测试文件、测试套件和测试用例万博1manbetx®测试™
万博1manbetx仿真软件设计校验™验证模块
万博1manbetx仿真软件模型验证库模块
使用实现状态指标检查如果你的需求缺口一致性实现和地址。使用验证状态指标检查如果你的需求验证通过运行测试。审查实现和验证状态要求设置在编辑器的需求。运行测试之后,将结果总结和解决测试失败。创建理由排除需求与实现和验证状态度量计算。
类
slreq.ReqSet |
工作要求设置 |
slreq.Justification |
一起工作slreq.Justification对象 |
slreq.verification.services.TAP |
工作与外部结果的来源 |
slreq.verification.services.JUnit |
工作与外部结果的来源 |
方法
getImplementationStatus |
查询条件设置实现状态摘要 |
getVerificationStatus |
查询条件设置验证状态摘要 |
runTests |
运行测试用例与需求集 |
updateImplementationStatus |
更新需求设置实现状态的总结 |
updateVerificationStatus |
更新需求设置验证状态的总结 |
主题
- 评审需求实现状态
使用需求实现状态检查广泛需求是如何实现在你的模型。
- 评审需求验证状态
使用需求验证状态检查测试和分析结果与您的要求。
- 链接到测试用例的需求
将测试用例与需求。
- 在编辑器的需求跟踪更改测试用例
跟踪测试用例与需求变更在编辑器的需求。
- 证明要求
为您的需求提供理由。
- 从外部来源包括结果验证状态
链接和反映结果从外部来源需求验证状态。
- 链接到一个测试脚本
链接需要MATLAB®脚本。
- 链接到一个结果文件
链接需要测试结果文件。
