打开巡航控制模型

cruiseControlRBTCovExample

查看链接要求

这个巡航控制系统的需求已经在Simulink需求编辑器中捕获。金宝app要查看需求，请使用slreq.open(“cruiseControlRBTCovReqs.slreqx”)。

打开测试管理器和测试文件

使用sltestmgr打开测试管理器。

点击打开并选择cruiseControlRBTCovTests.mldatx。已经写入测试以验证模型行为是否满足指定的要求。他们也被设置为记录决策和条件覆盖范围。展开覆盖设置以查看所选指标。

每个测试用例验证并链接到需求。例如，节气门测试验证节气门要求。这一要求规定，如果速度与目标不同，则要平稳地使用油门。该测试使用逻辑评估来验证此行为，该评估检查更改的节流速度是否在-1到1弧度每秒之间，如需求描述中定义的那样。

运行测试并查看覆盖率结果

运行测试。

当测试完成运行时，单击结果和工件窗格中的结果。请注意，测试通过并报告100％的聚合覆盖范围。

打开考试结果的特殊要求

单击结果和工件窗格中的顶级结果。然后，在聚合覆盖结果窗格中，单击范围覆盖结果导致链接要求复选框。范围结果意味着每个测试仅为实现该测试验证的需求的相应模型元素贡献覆盖范围。范围检查模型元素由预期的测试用例涵盖。自动更新的覆盖结果，现在显示汇总和执行分别为92％和76％的决策和执行。

查看模型中的覆盖范围结果

单击分析的模型列中的型号名称以突出显示模型中的覆盖范围，并显示覆盖范围报告详细信息。

在模型中，如果要求表未显示在模型下方，请通过单击模型画布的右下角的透视图，然后单击“要求”。

打开Controller子系统。没有100%覆盖的块显示为红色。两组Constant和Sum块没有链接到需求，也从来没有执行。

链接块到要求

在这种情况下，缺失的覆盖率表明需求链接不足。这些常量和总和块是实现增量和增量要求所必需的，并且应该与适当的要求相关联。

在Requirements窗格中的表中展开cruiseControlRbtCovReqs。右键单击上常数块并选择要求>在需求浏览器中的选择链接。然后，单击“要求”表中的增量要求。对上和块重复此操作。

对于较低的常量和块块，重复链接步骤，但链接到递减要求。

增加特定测试的覆盖率

打开PI控制器，然后单击离散时间Integrator块。覆盖范围详细展示了真正的通过增量测试（T4）而不是油门测试（T6）来执行上限的决定。由于块是节气门要求的实现的一部分，因此应该通过节流测试测试，这验证了节气门要求。递增测试不会验证此要求，并且当该块时不贡献覆盖范围范围模型覆盖范围与链接要求设置为启用。

要解决此块的缺失覆盖范围，需要更新节气门测试以更新以锻炼离散时间集成器块。

在测试管理器的测试浏览器窗格中，选择节流测试。在输入,选择td_throttle_updated.mat.作为外部输入文件。此更新的输入节水门数据文件具有一些额外的测试数据秒，这在保持实际速度的同时更积极地增加目标速度。

选择CruiseControlrbtcovtests.，然后重新运行测试。单击范围覆盖结果导致链接要求复选框。覆盖率结果显示100%的覆盖率，这表明测试充分地执行了模型。

修订测试揭示了设计中的问题

修正后的油门测试现在无法验证。故障发生的原因是油门增加得太厉害，超出了测试中规定的要求界限。这表明模型设计有问题。PI控制器块的实现需要更新，以在所需的限制范围内应用油门，包括当目标和实际速度有显著差异时。

结论

总之，范围覆盖结果与链接要求有助于揭示测试中的差距。范围通过评估通过验证相应要求的测试来锻炼每个模型元素来完成此操作。