基于需求的测试

基于需求的模型验证，解释和报告测试结果

设置需求与测试工件之间的验证链接类型，例如：

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脚本。
链接到结果文件
将需求链接到测试结果文件。

精选示例

使用基于需求的测试验证 MATLAB 算法

使用 MATLAB 单元测试验证 MATLAB 算法。

打开实时脚本

将自定义编写的 MATLAB 脚本的结果集成为测试

在此示例中，您将需求链接到 MATLAB® 脚本。需求编辑器中的验证状态反映了测试结果。此示例执行链接到测试脚本中描述的步骤。此示例使用名为 counter_req.slreqx 的需求集文件和名为 runmytests.m 的 MATLAB 脚本，该脚本为 Counter.m 中的 Counter 类运行测试。测试脚本包含自定义方法，将结果以 TAP 格式写入名为 results.tap 的文件。

打开实时脚本

集成来自外部结果文件的结果

在此示例中，您将需求链接到 Excel® 格式的结果文件。需求编辑器中的验证状态反映了测试结果。此示例执行链接到结果文件中描述的步骤。此示例使用名为 counter_req 的需求集文件和名为 results.xlsx 的测试结果文件。该文件包含一个名为 counterSetsValue 的测试用例。

打开实时脚本

通过分析模型属性来验证需求

验证作为控制系统属性建模的需求。

打开模型

修复基于需求的测试问题

使用模型测试仪表板修复模型测试质量问题。

打开实时脚本

将自定义编写的 MUnit 脚本的结果集成为测试

在此示例中，您通过链接到测试脚本来集成 MATLAB® xml 单元测试的结果。需求编辑器中的验证状态反映了测试结果。此示例使用名为 counter_req 的需求集文件和名为 myMUnitResults.xml 的 XML 单元测试文件。该文件包含一个名为 testCounterStartsAtZero 的测试用例。

打开实时脚本