MATLAB 関数内の入れ子にされた条件のチェック
チェック ID: mathworks.jmaab.na_0018
ガイドライン:
説明
バリアント サブシステムに対する入力/出力の数をチェックします。
このチェックには Simulink® Check™ ライセンスが必要です。
チェックのパラメーター化
MAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a
JMAAB — a
[入力パラメーター] で [モデル内で参照されている外部の .m ファイルをチェックします] を選択して、.m 拡張子のファイルを解析に含めます。
結果と推奨アクション
| 条件 | 推奨アクション |
|---|---|
| 深く入れ子にされた if/else ステートメントおよび case ステートメントが含まれている 1 つ以上の MATLAB Function が見つかった。 | 深く入れ子にされた条件ステートメントの数を減らすように再モデル化します。 |
機能および制限事項
このチェックは、JMAAB v6.0 ガイドラインの mp_0016 も実装しています。
ライブラリ モデルで実行されます。
ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[すべて]に設定されます。ブロックまたはチャートの対象外指定は許容されます。
Truth Table (Stateflow) ブロックと Stateflow® 遷移表がサポートされています。
参考
JMAABv6.0 ガイドライン mp_0016
