このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
出力
出力変数が想定される範囲内に収まっているかどうかを確認するオプション
モデル コンフィギュレーション ペイン: Polyspace
説明
[出力] パラメーターは、出力変数が [Output] ブロック ダイアログ ボックスで指定された想定される範囲内に収まっているかどうかを Polyspace® Code Prover™ で検証するかどうかを指定します
このパラメーターは、[コンフィギュレーション パラメーター] ダイアログ ボックスの [Polyspace] ペインにある [データの範囲の管理] セクションで確認できます。
依存関係
このオプションは、Embedded Coder® で生成されたコードに対して Polyspace Code Prover 解析を実行するときに適用されます。
設定
検証なし (既定の設定) | 出力が最小/最大値の範囲内にあることを確認します-
検証なし Polyspace Code Prover は出力値を検証しません。
-
出力が最小/最大値の範囲内にあることを確認します PolyspaceCode Prover は、出力変数値が想定される最大値と最小値の範囲内に収まるかどうかをチェックします。
推奨設定
| アプリケーション | 設定 |
|---|---|
| デバッグ | 影響なし |
| トレーサビリティ | 影響なし |
| 効率性 | 影響なし |
| 安全対策 | 影響なし |
プログラムでの使用
パラメーター: pslinkoptions と併せて使用する場合は OutputRangeMode |
パラメーター: set_param() と併せて使用する場合は PSOutputRangeMode |
値: 'None' | 'DesignMinMax' |
既定値: 'None' |
例: opt = pslinkoptions(modelname); opt.OutputRangeMode = 'DesignMinMax';
|
バージョン履歴
R2016b で導入
