ステート アクション タイプの順序をチェック

チェック ID: mathworks.jmaab.jc_0733

ガイドライン: jc_0733: ステート アクション タイプの記述順序

説明

Stateflow® ステート内で順序が正しくないステート アクションを特定します。

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

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

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

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

  • NA-MAAB — a、b

  • JMAAB — a、b

結果と推奨アクション

ガイドライン サブ ID条件推奨アクション
jc_0733_a: 基本ステート アクション タイプをチェック。1 つ以上の Stateflow ステートで、基本ステート アクション タイプが正しくない順序で記述されている。ステート アクションを entry (en)、during (du)、exit (ex) の順に配置することを検討してください。
jc_0733_b: 組み合わせたステート アクション タイプをチェック。1 つ以上の Stateflow ステートで、組み合わせたステート アクション タイプが正しくない順序で記述されている。ステート アクションを entry (en)、during (du)、exit (ex) の順に配置することを検討してください。

機能および制限事項

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

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

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

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