Stateflow 内の条件アクションおよび遷移アクションをチェック

チェック ID: mathworks.jmaab.jc_0753

ガイドライン: jc_0753: Stateflow^® における条件アクションと遷移アクション

条件アクションと遷移アクションの使用が同一チャート内で一様であるかどうかをチェックします。

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

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

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

メモ

既定では、サブチェック jc_0753_a1 が選択されています。

ガイドラインサブ ID	条件	推奨アクション
jc_0753_a1: Stateflow チャートの遷移アクションをチェック。	次の Stateflow チャートで遷移アクションを使用している。	Stateflow チャートで遷移アクションを使用しないようにします。
jc_0753_a2: 同じ Stateflow チャート内での条件アクションと遷移アクションの使用をチェック。	同じチャート内で条件アクションと遷移アクションが混在している。	条件アクションまたは遷移アクションの使用は、同一チャート内で一様でなければなりません。