このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
論理エラーの検出と対処
デッド ロジックの検出を使用して、モデル内の論理エラーを特定する
デッド ロジックの検出を使用して、カバレッジ条件が期待されるすべての値を満たすことができない論理エラーを特定します。
トピック
- デッド ロジックの検出
Simulink® Design Verifier™ でのデッド ロジックの検出の 2 つの解析モードについて説明する。
- デッド ロジックの一般的原因
デッド ロジックが生じるいくつかのシナリオの説明。
- 不適切な値を原因とするデッド ロジックの検出
デッド ロジックの結果を使用して不適切な入力仕様を見つける方法を示す例
- 指定された最小値および最大値の違反チェック
モデルを解析して、指定された設計の最小値および最大値が守られていることを検証する方法を説明します。
- モデルにおける設計エラーの解析
設計エラー検出解析の実行と結果の解釈。
注目の例
デッド ロジック解析に対する結果の解析
この例は、sldvexCommonCausesOfDeadLogic モデルを使用して、デッド ロジックの原因となっている可能性のある個所を分離する方法を示します。デッド ロジックの検出では、モデル要素が非アクティブで残される原因となる、モデル内の到達不可能なオブジェクティブを見つけます。
モデル スライサーを使用した拡張改良条件判定カバレッジのデバッグ
モデル スライサーを使用して、特定のモデル オブジェクトに関連する Simulink Design Verifier で生成されたオブジェクティブを見つけます。
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)