不適切な計算結果に対する診断設定のチェック

チェック ID: mathworks.jmaab.jc_0806

ガイドライン: jc_0806: 不正な演算結果の検出

不適切な計算結果を検出するデータ有効性診断設定のコンフィギュレーションパラメーターのステータスを特定します。

このチェックには Simulink^® Check™ ライセンスが必要です。

MAB モデリングガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。

参考として、NA-MAAB および JMAAB モデリング標準組織で推奨されている MAB ガイドラインサブ ID は以下のとおりです。

条件	推奨アクション
モデルコンフィギュレーションパラメーター [特異値行列による除算] (CheckMatrixSingularityMsg) が [エラー] に設定されていない。	入力パラメーター値を [エラー] に設定します。
モデルコンフィギュレーションパラメーター [Inf または NaN のブロックの出力] (SignalInfNanChecking) が [エラー] に設定されていない。	入力パラメーター値を [エラー] に設定します。
モデルコンフィギュレーションパラメーター [オーバーフロー時にラップ] (IntegerOverflowMsg) が [エラー] に設定されていない。	入力パラメーター値を [エラー] に設定します。
モデルコンフィギュレーションパラメーター [オーバーフローで飽和] (IntegerSaturationMsg) が [エラー] に設定されていない。	入力パラメーター値を [エラー] に設定します。