ステート名の使用をチェック

チェック ID: mathworks.jmaab.jc_0731

ガイドライン: jc_0731: ステート名の記述

説明

ステート名にスラッシュ (/) が含まれているかどうかをチェックします。ステート名が定義された後に、任意の実行可能ステートメントについて説明するための新しい行を追加します。スラッシュ (/) が必要なのは、ステート名の後に続けて実行可能ステートメントを説明する場合のみです。

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

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

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

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

  • NA-MAAB — a

  • JMAAB — a

結果と推奨アクション

条件推奨アクション
ステート名にスラッシュがある。ステート名からスラッシュを削除して、すべての実行可能ステートメントが新規の行で始まっていることを確認してください。

機能および制限事項

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

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

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

  • チャートの対象外指定が許容されます。