Stateflow の内部遷移の開始点をチェック
チェック ID: mathworks.jmaab.jc_0760
ガイドライン: jc_0760: 内部遷移線の始点
説明
すべてのステート チャートおよびフロー チャートにおいて、ステートの境界からの内部遷移がステートの左端から開始しなければならないかどうかを特定します。
このチェックには Simulink® Check™ および Stateflow® のライセンスが必要です。
チェックのパラメーター化
MAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a
JMAAB — a
結果と推奨アクション
| 条件 | 推奨アクション |
|---|---|
| ステート チャートまたはフロー チャートのステートの境界からの 1 つ以上の内部遷移の開始点が、ステートの左端から開始していない。 | すべてのステート チャートおよびフロー チャートにおいて、ステートの境界からの内部遷移がステートの左端から開始しなければならないようにします。 |
機能および制限事項
ライブラリ モデルで実行されます。
マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]に設定されます。ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。ブロックおよびチャートの対象外指定が許容されます。
編集時チェック
このチェックは編集時チェックでサポートされます。
