禁止されている、logical 型信号の比較演算をチェック

チェック ID: mathworks.jmaab.jc_0655

ガイドライン: jc_0655: Stateflow® における論理型の比較演算禁止

説明

Stateflow チャート内の Boolean 型遷移について、数値または logical 値 (true または false) との比較を使用しているもの、またはモデル内で否定演算子 (! または ~) を可変的に使用しているものを特定します。

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

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

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

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

  • NA-MAAB — 推奨なし

  • JMAAB — a

結果と推奨アクション

条件推奨アクション
Boolean 型遷移が数値または logical 値 (true または false) と比較されている。Boolean 型遷移を数値または logical 値と比較しないようにします。

機能および制限事項

  • ライブラリ モデルで実行されます。

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

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

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

  • Truth Table (Stateflow) ブロックと Stateflow 遷移表はサポートされていません。