基本的な論理演算と数値演算をチェック

チェック ID: mathworks.jmaab.na_0002

ガイドライン: na_0002: 基本的な論理演算と数値演算の適切な実装

説明

論理ブロックおよび数値ブロックのデータ型をチェックし、データ型が演算に適していない場合を特定します。

論理ブロックのデータ型は Boolean である必要があります。論理ブロックには以下のものがあります。

数値ブロックのデータ型は Boolean 以外である必要があります。数値ブロックには以下のものがあります。

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

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

このチェックには、MAB および JMAAB モデリング ガイドラインで指定されているサブ ID に対応するサブチェックが含まれています。モデル アドバイザー構成エディターを使用して、実行するサブ ID (1 つ以上) を指定できます。

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

  • NA-MAAB — a、b

  • JMAAB — a、b

このチェックの分析に含めるブロックとマスクをカスタマイズするには、モデル アドバイザー構成エディターを使用します。

  1. モデル構成エディターを開いて、チェック ID na_0002 を検索します。

  2. [入力パラメーター] で、[数値演算用ブロック] テーブルまたは [論理演算用ブロック] テーブルを対象に、ブロックまたはマスク、あるいはその両方を追加または削除します。

  3. [適用] をクリックし、構成を保存します。

結果と推奨アクション

ガイドライン サブ ID条件推奨アクション
na_0002_a: 数値演算用ブロックの入力データ型をチェック。数値演算用ブロックのデータ型が Boolean である。数値演算ブロックに非 boolean 入力を使用することを検討してください。
na_0002_b: 論理演算用ブロックの入力データ型をチェック。論理演算用ブロックのデータ型が Boolean ではない。論理演算ブロックに boolean 入力を使用することを検討してください。

機能および制限事項

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

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

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

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