Simulink における浮動小数点型の比較をチェック

チェック ID: mathworks.jmaab.jc_0800

ガイドライン: jc_0800: Simulink^® における浮動小数点型の比較

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

浮動小数点数に対して等価比較が行われているかどうかをチェックします。

このチェックは次のブロックに適用されます。

• Relational Operator

• Compare To Zero

• Compare To Constant

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

チェックのパラメーター化

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

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

• NA-MAAB — a

• JMAAB — a

結果と推奨アクション

条件	推奨アクション
浮動小数点数の等価比較のインスタンスが 1 つ以上見つかった。	浮動小数点数の等価比較を使用しないようにしてください。

機能および制限事項

• ライブラリ モデルでは動作しません。

• マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は [グラフィカル] に設定されます。

• ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は [オン] に設定されます。

• ブロックおよびチャートの対象外指定が許容されます。