打开巡航控制模型

cruiseControlRBTCovExample

查看链接的需求

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

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

使用sltestmgr打开测试管理器。

点击开放并选择cruiseControlRBTCovTests.mldatx．编写测试是为了验证模型行为是否满足指定的需求。它们还被设立来记录决策和条件的覆盖范围。展开Coverage Settings以查看所选的度量。

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

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

运行测试。

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

打开将测试结果范围设置为链接的需求

在“聚合覆盖结果”窗格中，单击范围覆盖结果是链接的需求复选框。确定结果的范围意味着每个测试仅为相应的模型元素提供覆盖范围，这些元素实现了该测试验证的需求。范围检查模型元素是否被预期的测试用例所覆盖。覆盖率结果会自动更新，现在显示Decision和Execution的聚合覆盖率分别为92%和76%。

查看模型中的覆盖率结果

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

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

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

链接块到需求

在这种情况下，缺失的覆盖率表明需求链接不足。这些Constant和Sum块对于实现INCREMENT和DECREMENT需求是必要的，并且应该链接到适当的需求。

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

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

增加特定测试的覆盖率

打开PI控制器，点击离散时间积分器块。覆盖详细信息显示真正的上限的决定是由增量测试(T4)执行的，而不是油门测试(T6)。由于块是节气门要求的实现的一部分，它应该已经通过节气门测试，以验证节气门要求。增量测试不验证此需求，并且当范围模型覆盖到链接的需求设置为启用。

为了解决此区块的缺失，需要更新节流测试，以更多地使用离散时间积分器区块。

在Test Manager的Test Browser窗格中，选择Throttle Test。在输入,选择td_throttle_updated.mat作为外部输入文件。这个更新的油门输入数据文件有一些额外的测试数据，这将更积极地提高目标速度，同时保持实际速度。

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

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

修改后的油门测试现在无法验证。故障发生的原因是油门增加过于激进，并超出了所需的边界规定的测试。这表明模型设计存在问题。PI控制器块实现将需要更新，以应用在所需的限制内的油门，包括当目标和实际速度显著不同。

结论

总之，将覆盖结果确定为链接的需求可以帮助揭示测试中的差距。通过评估每个模型元素是由验证相应需求的测试执行的，范围划分完成了这一点。