Main Content

本页采用了机器翻译。点击此处可查看英文原文。

根据需求测试模型并报告结果

此示例使用:

需求 – 测试可追溯性概述

需求和测试用例之间的可追溯性有助于您解释测试结果并了解需求的验证程度。您可以将需求链接到有助于验证它的元素，例如测试管理器中的测试用例、Test Sequence 模块中的 verify 语句或模型中的模型验证模块。当您运行测试时，通过/失败摘要会出现在您的需求集中。

此示例演示了巡航控制模型的常见基于需求的测试工作流程。您从一组需求、一个模型和一个测试用例开始。您可以在测试和安全需求之间添加可追溯性。您运行测试、总结验证状态并报告结果。

Requirements-based testing workflow

在此示例中，您对集合中的两个需求进行简单测试：

  • 当发生制动事件时，巡航控制系统将从接合状态转移为脱离状态。

  • 当当前车速超出 20 英里/小时至 90 英里/小时的范围时，巡航控制系统将从接合状态转为脱离状态。

显示需求

  1. 打开示例工程。

    openExample("shared_vnv/CruiseControlVerificationProjectExample");
pr = openProject("SimulinkVerificationCruise");

  2. 在 models 文件夹中，打开 simulinkCruiseAddReqExample 模型。

  3. 显示需求。点击模型画布右下角的 图标，然后选择需求。需求出现在模型画布下方。

  4. 显示验证及实施状态。右键点击某个需求并选择验证状态和实现状态。

    Property inspector and requirements implementation status for the model

  5. 在工程窗口中，从 tests 文件夹中打开 Simulink® Test™ 文件 slReqTests.mldatx。测试文件在测试管理器中打开。

将需求链接到测试

将需求与测试用例联系起来。

  1. 在工程窗口中，从 tests 文件夹中打开 Simulink Test 文件 slReqTests.mldatx。测试文件在测试管理器中打开。探索测试套件并选择 Safety Tests。

    返回模型。右键点击需求 S 3.1 并选择从所选测试用例链接。

    Safety Tests 测试用例的链接已添加到验证者。已验证列中的黄色条表示需求未经验证。

    Requirement dialog box showing linked tests to specific requirements

  2. 还添加项目 S 3.4 的链接。

运行测试

该测试用例使用测试框架 SafetyTest_Harness1。在测试框架中，测试序列设置输入条件并检查模型行为：

  • BrakeTest 序列启动巡航控制，然后施加制动。它包括 verify 语句

    verify(engaged == false,...
    'verify:brake',...
    'system must disengage when brake applied')

  • LimitTest 序列启动巡航控制，然后提高车速直到超过上限。它包括 verify 语句。

    verify(engaged == false,...
    'verify:limit',...
    'system must disengage when limit exceeded')

  1. 返回测试管理器。要运行测试用例，点击运行。

  2. 测试结束后，检查结果。测试管理器显示两项评估均通过，并且图提供了每个 verify 语句的详细结果。

    Test results for verify statements

  3. 返回模型并刷新需求。已验证列中的绿色条表示该需求已成功验证。

    Verified status for requirements

报告结果

  1. 使用自定义 Microsoft® Word 模板创建报告。

    1. 在测试管理器结果中，右键点击测试用例名称。选择创建报告。

    2. 在创建测试结果报告对话框中，设置选项：

      • 标题 - SafetyTest

      • 搜索结果 - All Tests

      • 文件格式 - DOCX

      • 对于其他选项，保留默认选择。

    3. 输入文件名并选择报告的位置。

    4. 对于模板文件，请选择文档工程文件夹中的 ReportTemplate.dotx 文件。

    5. 点击创建。

  2. 审查报告。

    1. 测试用例需求部分指定了相关需求。

    2. 验证结果部分包含测试中两项评估的详细信息，以及仿真输出的链接。

相关主题

外部网站