要打开模型，请输入 openExample('sldemo_absbrake')。

将模型验证库中的 Check Static Upper Bound 模块添加到模型中。

将 Check Static Upper Bound 模块连接到 Sd 信号。

在 Check Static Upper Bound 模块对话框中，将上界设置为 725。

要打开测试管理器，请在 App 选项卡上的“模型验证、确认和测试”下，点击 Simulink Test。然后，在测试选项卡上，点击 Simulink 测试管理器。

要创建测试文件，点击新建 > 测试文件。命名并保存测试文件。

新的测试文件由包含一个基线测试用例的测试套件组成。它们出现在测试浏览器窗格中。

选择 新建 > 测试用例 > 仿真测试。

右键单击测试浏览器窗格中的新仿真测试用例，然后选择重命名。将测试用例重命名为 Upper Bound Test。

在测试用例中，在在测系统下，点击使用当前模型按钮 将 sldemo_absbrake 模型分配给测试用例。

在参数覆盖下，点击添加以添加参数集。

在对话框中，点击刷新按钮 来更新模型参数列表。

选中工作区变量 m 旁边的复选框。点击确定。

双击覆盖值并输入 55。

仿真运行时，该值将覆盖模型中的参数值。

在测试浏览器窗格中，选择 Upper Bound Test 用例。

在测试管理器工具条中，点击运行。测试结果出现在结果和工件窗格中。