条件付きサブシステムについて未定義の初期出力をチェック
チェック ID: mathworks.jmaab.jc_0640
ガイドライン: jc_0640: 条件付きサブシステムにおける Outport ブロックの初期値設定
説明
条件付きサブシステムに接続されているすべての Outport ブロックおよび Merge ブロックの初期出力値が明示的に定義されていることをチェックします。
メモ
このチェックでは、クラシック初期化モードを使用した場合に問題を引き起こす可能性がある、モデル内の条件付きサブシステムに接続された Outport ブロックおよび Merge ブロックを特定します。
クラシック初期化モードを設定するには、次のようにします。
[モデル化] タブの [設定] セクションで、[モデル設定] を選択します。
[コンフィギュレーション パラメーター] ダイアログ ボックスの検索ボックスを使用して、「指定不足の初期化の検出」と入力します。
ドロップダウン リストで [クラシック] を選択します。
このチェックには Simulink® Check™ ライセンスが必要です。
チェックのパラメーター化
MAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — 推奨なし
JMAAB — a
結果と推奨アクション
| 条件 | 推奨アクション |
|---|---|
| Conditional subsystem に接続されているすべての Outport ブロックおよび Merge ブロックの初期出力が明示的に定義されていない。 | 条件付きサブシステムについて、Conditional subsystem に接続されているすべての Outport ブロックおよび Merge ブロックの初期出力値を明示的に定義します。 |
機能および制限事項
ライブラリ モデルでは動作しません。
マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]に設定されます。ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。ブロックおよびチャートの対象外指定が許容されます。
編集時チェック
このチェックは編集時チェックでサポートされます。
