主要内容

整数溢出饱和

启用整数溢出饱和覆盖率

模型配置窗格: 覆盖率

描述

对整数溢出进行饱和处理参数指定是否分析整数溢出饱和覆盖率。Simulink® Coverage™ 只能针对您配置为对整数溢出进行饱和处理的模块分析整数溢出饱和覆盖率。例如,要分析 Abs 模块的整数溢出饱和覆盖率,您必须选择对整数溢出进行饱和处理模块参数。如果启用此参数,模块将报告在仿真期间发生饱和的次数。

依赖关系

要启用此参数,请选择启用覆盖率分析

设置

off (默认) | on
off

不分析整数溢出饱和覆盖率。

on

分析整数溢出饱和覆盖率。

编程用法

参数CovMetricSaturateOnIntegerOverflow
类型character vector | string
"on" | "off"
默认值"off"

版本历史记录

在 R2016a 中推出