基于需求的测试
基于需求的模型验证,解释和报告测试结果
设置需求与测试工件之间的验证链接类型,例如:
Simulink® Test™ 中的测试文件、测试套件和测试用例
Simulink Design Verifier™ 验证模块
Simulink Model Verification 库中的模块
使用实现状态度量来检查需求是否已实现,并消除一致性方面的缺失。使用验证状态度量,通过运行与需求关联的测试来检查需求是否已经过验证。在需求编辑器中查看需求集的实现和验证状态。运行测试后,查看结果摘要并解决测试失败问题。创建申诉来从实现和验证状态度量计算中排除需求。
类
slreq.ReqSet | 使用需求集 |
slreq.Justification | 需求申述 |
slreq.verification.services.TAP | 使用外部结果源 (自 R2020a 起) |
slreq.verification.services.JUnit | 使用外部结果源 (自 R2020a 起) |
方法
getImplementationStatus | 查询需求集实施状态摘要 |
getVerificationStatus | 查询需求集验证状态摘要 |
runTests | 运行与需求集集相关的测试用例 |
updateImplementationStatus | 更新需求集实施状态摘要 |
updateVerificationStatus | 更新需求集验证状态摘要 |
主题
- 验证并确认模型和代码
使用验证、确认和测试产品来定义需求、测试模型和代码、检查设计错误和标准合规性,并测量测试覆盖率。
- 步骤 1: 根据需求测试模型并报告结果
- 步骤 2: 分析模型的标准合规性和设计错误
- 步骤 3: 执行功能测试并分析测试覆盖率
- 步骤 4: 分析代码并测试软件在环
- 审查需求验证状态
使用需求验证状态来检查与您的需求相关的测试和分析结果。
- 审查需求实施情况
使用需求实施状况来检查需求在您的模型中实施的广泛程度。
- 将测试用例链接到需求
将 Simulink Test 测试用例与需求相关联。
- 使用 MATLAB 测试验证需求
通过运行链接的MATLAB®测试来验证需求。
- 在 Metrics Dashboard 和需求编辑器中查看统一验证结果
使用需求验证状态来可视化与您的需求相关的、在工程中使用的结果。
- 在需求编辑器中跟踪测试用例的变更
在需求编辑器中跟踪与需求相关的测试用例的变化。
- 申诉需求
为您的需求提供依据。
- 在验证状态中包含来自外部来源的结果
在需求验证状态中链接并反映外部来源的结果。
- 链接到测试脚本
将需求链接到MATLAB脚本。
- 链接到结果文件
将需求链接到测试结果文件。