このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。
論理エラーの検出と対処
デッド ロジックの検出を使用して、モデル内の論理エラーを特定する
デッド ロジックの検出を使用して、カバレッジ条件が期待されるすべての値を満たすことができない論理エラーを特定します。
トピック
- デッド ロジックの検出
Simulink® Design Verifier™ でのデッド ロジックの検出の 2 つの解析モードについて説明する。
- デッド ロジックの一般的原因
デッド ロジックが生じるいくつかのシナリオの説明。
- 不適切な値を原因とするデッド ロジックの検出
デッド ロジックの結果を使用して不適切な入力仕様を見つける方法を示す例
- 指定された最小値および最大値の違反チェック
モデルを解析して、指定された設計の最小値および最大値が守られていることを検証する方法を説明します。
- モデルにおける設計エラーの解析
設計エラー検出解析の実行と結果の解釈。
注目の例
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)