打开巡航控制模型

cruiseControlRBTCovExample

查看相关需求

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

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

使用sltestmgr以打开测试管理器。

点击开放并选择cruiseControlRBTCovTests.mldatx．编写测试是为了验证模型行为是否满足指定的需求。他们还建立了记录决定和条件覆盖。展开覆盖率设置以查看选定的指标。

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

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

运行测试。

当测试运行完成时，单击Results和Artifacts窗格中的Results。请注意，测试通过了，并且报告了100%的聚合覆盖率。

打开将测试结果限定为链接需求

在Results and Artifacts窗格中单击顶级Results。然后，在聚合覆盖率结果窗格中，单击范围覆盖结果与关联的需求复选框。确定结果的范围意味着每个测试只对实现由该测试验证的需求的相应模型元素贡献覆盖率。范围检查模型元素是否被预期的测试用例所覆盖。自动更新的覆盖率结果现在显示了决策和执行的聚合覆盖率分别为92%和76%。

在模型中查看覆盖率结果

单击analyze model列中的模型名称，以突出显示模型中的覆盖率结果，并显示覆盖率报告的详细信息。

在模型中，如果Requirements表没有显示在模型下面，则单击模型画布右下角的透视图打开它，然后单击Requirements。

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

链接块到需求

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

在Requirements窗格中的表中展开cruiseControlRbtCovReqs．右键单击上面的Constant块并选择需求>链接到需求浏览器中的选择．然后，单击Requirements表中的INCREMENT需求。对上面的Sum块重复此操作。

对于较低的Constant和Sum块，重复链接步骤，但链接到decement要求。

增加特定测试的覆盖率

打开PI控制器，点击离散时间积分器模块。覆盖细节显示真正的决定上限是由增量测试(T4)，而不是节流测试(T6)。由于该块是THROTTLE需求实现的一部分，因此它应该已经通过THROTTLE Test进行了测试，该测试验证了THROTTLE需求。增量测试不验证此需求，并且当关联需求的范围模型覆盖范围设置为启用。

为了解决这个块的缺失覆盖率，需要更新Throttle Test以更多地使用Discrete-Time Integrator块。

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

选择cruiseControlRBTCovTests，然后重新运行测试。单击范围覆盖结果与关联的需求复选框。覆盖率结果显示100%的覆盖率，这表明测试充分地执行了模型。

修改后的测试揭示了设计中的一个问题

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

结论

总之，将覆盖率结果确定到相关需求可以帮助揭示测试中的差距。确定范围是通过评估每个模型元素被验证相应需求的测试所执行来完成的。