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

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

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

モデルを開きます。
```
sldvdemo_fuelsys_logic_simple
```
現在のフォルダーが書き込み可能であることを確認します。
デッドロジックの検出を設定します。
[Design Verifier] タブの [モード] セクションで、[設計エラー検出] を選択します。
[エラー検出の設定] を選択します。
[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[設計エラー検出] ペインで、次を行います。
1. デッドロジック (一部)オプションを有効にします。
2. 網羅的解析を実行オプションが選択されている場合、オフにします。
3. [解析するカバレッジオブジェクティブ] を [条件判定] に設定します。ドロップダウンメニューから選択できるオプションは、[判定]、[条件判定]、および [MCDC] です。
[設計エラー検出] をクリックします。
結果のダイアログボックスに、109 個中 2 個のオブジェクティブがデッドロジックであることが示されます。

解析レポートを作成します。結果インスペクターウィンドウで、[HTML] をクリックします。
[デッドロジック] セクションにスクロールします。テーブルにはデッドロジックの 2 つのインスタンスがリストされています。
[説明] 列で、デッドロジックのインスタンスの 1 つが press < zero_thresh という false 条件になっています。デッドロジックの結果は、シミュレーションにおいてこの false 条件が実行されなかったことを示しています。このロジックは、Sens_Failure_Counter.INC 遷移の一部です。
[モデル項目] リンクをクリックします。Simulink によってチャート内の遷移が強調表示されます。

遷移を制御する論理ステートメントは次のとおりです。
```
speed==0 & press < zero_thresh
```
レポートに戻ります。[制約] セクションへとスクロールします。
入力 control logic/Input Data "press" の値は 0 ～ 2 に制約されています。リンクをクリックしてモデルエクスプローラーで入力を開きます。
モデルエクスプローラーで [モデルワークスペース] を選択します。コンテンツテーブルで、zero_thresh を選択します。zero_thresh の値は 250 です。
press の制約された値は常に zero_thresh より小さくなるため、false 条件が実行されることはありません。

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