不適切な値を原因とするデッドロジックの検出

デッドロジックの検出は、以下の特定に役立ちます。

モデルの設計エラー。
不要なモデル要素。
実行すべきなのに実行されないモデル要素。

この例では、燃料比コントローラーのモデルを解析して、モデルにデッドロジックが含まれているかどうかを判定します。デッドロジックの検出により、Stateflow® チャート内の遷移条件が非アクティブで残される原因となる、不適切な変数値を見つけます。

燃料供給装置モデルの解析

1.モデルを開きます。

open_system('sldvdemo_fuelsys_logic_simple')

現在のフォルダーが書き込み可能であることを確認します。

2.デッドロジックの検出を設定します。

[Design Verifier] タブの [モード] セクションで、[設計エラー検出] を選択します。

3.[エラー検出の設定] を選択します。

4. [コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[設計エラー検出] ペインで、次を行います。

デッドロジック (一部)オプションを有効にします。
網羅的解析を実行オプションが選択されている場合、オフにします。
[解析するカバレッジオブジェクティブ] を [条件判定] に設定します。ドロップダウンメニューから選択できるオプションは、[判定]、[条件判定]、および [MCDC] です。

5.[設計エラーの検出] をクリックします。

6.結果のダイアログボックスに、109 個中 2 個のオブジェクティブがデッドロジックであることが示されます。

結果の確認とモデルでの追跡

1.解析レポートを作成します。結果インスペクターウィンドウで、[HTML] をクリックします。

2.[デッドロジック] セクションにスクロールします。テーブルにはデッドロジックの 2 つのインスタンスがリストされています。

3.[説明] 列で、デッドロジックのインスタンスの 1 つが press < zero_thresh という偽条件になっています。デッドロジックの結果は、シミュレーションにおいてこの偽条件が実行されなかったことを示しています。このロジックは、Sens_Failure_Counter.INC 遷移の一部です。

4.[モデル項目] リンクをクリックします。Simulink によってチャート内の遷移が強調表示されます。