收集整数溢出饱和覆盖率

在模型上启用整数溢出饱和覆盖率

在建模选项卡上，点击模型设置。在“配置参数”窗口的左侧窗格中，点击覆盖率。要启用整数溢出饱和覆盖率，请在覆盖率度量下点击其他度量以展开列表。选择整数溢出饱和度量。此模型已配置为收集整数溢出饱和覆盖率。

在模块上启用“对整数溢出进行饱和处理”

要使某个模块获得整数溢出饱和覆盖率，必须将该模块配置为在整数溢出时进行饱和处理。如果您未选择该模块参数，则整数溢出饱和覆盖率分析不会对该模块进行报告。

例如，在示例模型中，双击 Test Unit 子系统，然后再双击控制器子系统。双击其中一个 Sum 模块以打开其“模块参数”窗口。请注意，在信号属性选项卡中，已选中了对整数溢出进行饱和处理模块参数。

对模型进行仿真并检查覆盖率结果

在模型中，点击运行(覆盖率) 按钮。在仿真完成后，“覆盖率详细信息”窗格会打开，并显示覆盖率报告。

点击绿色的 Sum 模块。从报告中可以看到，该饱和处理目标在两个时间步中为 true，在一个时间步中为 false。如果结果为 True，则表示该模块达到了整数溢出阈值并进行了饱和处理。

点击其中一个红色的 Sum 模块。该模块从未达到整数溢出阈值，因此从未进行饱和处理，因为在所有 3 个时间步中，饱和处理结果均为 false。这导致所报告的整数溢出饱和覆盖率为 50%。