整数オーバーフローで飽和

整数オーバーフローで飽和カバレッジを有効にする

モデル コンフィギュレーション ペイン: カバレッジ

説明

[整数オーバーフローで飽和] パラメーターは、整数オーバーフローで飽和カバレッジを解析するかどうかを指定します。Simulink® Coverage™ は、整数オーバーフローで飽和するように設定したブロックに対してのみ、整数オーバーフローで飽和カバレッジを解析できます。たとえば、Abs ブロックに対して整数オーバーフローで飽和カバレッジを解析するには、[整数オーバーフローで飽和] ブロック パラメーターを選択する必要があります。このパラメーターを有効にすると、ブロックはシミュレーション中に飽和した回数を報告します。

依存関係

このパラメーターを有効にするには、[カバレッジ解析を有効にする] を選択します。

設定

off (既定値) | on
off

整数オーバーフローで飽和カバレッジを解析しません。

on

整数オーバーフローで飽和カバレッジを解析します。

プログラムでの使用

パラメーター: CovMetricSaturateOnIntegerOverflow
型: character vector | string
値: "on" | "off"
既定の設定: "off"

バージョン履歴

R2016a で導入

参考

トピック