使用测试来验证需求
将需求链接到 MATLAB 和 Simulink 中的测试，然后通过运行测试来验证这些需求。跟踪需求的验证状态，并对无法验证或不需要验证的需求进行申述。使用外部结果来验证需求。
类
方法
主题
- 验证并确认模型和代码
定义需求、测试模型和代码，检查设计错误和标准合规性，并测量测试覆盖率。
- 步骤 1: 根据需求测试模型并报告结果
- 步骤 2: 分析模型的标准合规性和设计错误
- 步骤 3: 执行功能测试并分析测试覆盖率
- 步骤 4: 分析代码并执行软件在环测试
- 审查需求验证状态
使用需求验证状态来检查与您的需求相关的测试和分析结果。
- 在建模测试仪表盘中查看统一验证结果，并在需求编辑器中查看。
使用建模测试仪表盘可直观展示工程中需求验证的状态。 (自 R2024a 起)
- 使用 MATLAB 测试验证需求
通过运行链接的 MATLAB 测试来验证需求。 (自 R2022a 起)
- 将测试用例链接到需求
将 Simulink Test™ 测试用例与需求相关联。
- 从 Requirements Table 块生成并导出测试
在包含 Requirements Table 块的模型中自动生成和执行测试。
- 申述需求
为您的需求提供依据。
- 在验证状态中包含来自外部来源的结果
从外部来源链接并在需求验证状态中显示结果。
精选示例
使用基于需求的测试验证 MATLAB 算法
使用 MATLAB 单元测试验证 MATLAB 算法。
通过分析模型属性来验证需求
验证作为控制系统属性建模的需求。
使用 Requirements Table 模块证明属性
使用 Requirements Table 模块和 Simulink Design Verifier™ 来证明模型的属性。
使用规范模型进行基于需求的测试
按照系统的方法根据需求验证您的设计模型。
使用功能需求验证与测试步骤相关的安全需求
使用功能需求验证与测试评估模块相链接的安全需求。
修复基于需求的测试问题
使用模型测试仪表板修复模型测试质量问题。
链接到测试脚本
将需求链接到 MATLAB 脚本。
链接到结果文件
将需求链接到测试结果文件。
将自定义编写的 MATLAB 脚本的结果集成为测试
在此示例中，您将需求链接到 MATLAB® 脚本。需求编辑器中的验证状态反映了测试结果。此示例执行 链接到测试脚本 中描述的步骤。此示例使用名为 counter_req.slreqx 的需求集文件和名为 runmytests.m 的 MATLAB 脚本，该脚本为 Counter 中的 Counter.m 类运行测试。测试脚本包含自定义方法，将结果以 TAP 格式写入名为 results.tap 的文件。
集成来自外部结果文件的结果
在此示例中，您将需求链接到 Excel® 格式的结果文件。需求编辑器中的验证状态反映了测试结果。此示例执行 链接到结果文件 中描述的步骤。此示例使用名为 counter_req 的需求集文件和名为 results.xlsx 的测试结果文件。该文件包含一个名为 counterSetsValue 的测试用例。
将自定义编写的 MUnit 脚本的结果集成为测试
在此示例中，您通过链接到测试脚本来集成 MATLAB® xml 单元测试的结果。需求编辑器中的验证状态反映了测试结果。此示例使用名为 counter_req 的需求集文件和名为 myMUnitResults.xml 的 XML 单元测试文件。该文件包含一个名为 testCounterStartsAtZero 的测试用例。
