論理エラーの検出と対処
デッド ロジックの検出を使用して、モデル内の論理エラーを特定する
デッド ロジックの検出を使用して、カバレッジ条件が期待されるすべての値を満たすことができない論理エラーを特定します。
トピック
- デッド ロジックの検出
Simulink® Design Verifier™ でのデッド ロジックの検出の 2 つの解析モードについて説明する。
- デッド ロジックの一般的原因
デッド ロジックが生じるいくつかのシナリオの説明。
- 不適切な値を原因とするデッド ロジックの検出
デッド ロジックの結果を使用して不適切な入力仕様を見つける方法を示す例
- 指定された最小値および最大値の違反チェック
モデルを解析して、指定された設計の最小値および最大値が守られていることを検証する方法を説明します。
- 最小値と最大値の入力制約
Simulink Design Verifier 解析が、指定された入力の最小値および最大値をどのように考慮するかについての概要。
- Simulink 要素と Stateflow 要素に対する入力範囲の指定
解析で Simulink 要素と Stateflow® 要素の最小値および最大値がどのように処理されるかについて説明する。
- モデルにおける設計エラーの解析
設計エラー検出解析の実行と結果の解釈。
注目の例
デッド ロジック解析に対する結果の解析
解析時にデッド ロジックになる可能性のある原因を特定する。
モデル スライサーを使用した拡張改良条件判定カバレッジのデバッグ
モデル スライサーを使用して、特定のモデル オブジェクトに関連する Simulink Design Verifier で生成されたオブジェクティブを見つけます。
新規
Identify and Resolve Missing Coverage Caused by Dead Logic
Use Simulink® Design Verifier™ to identify and resolve missing coverage associated with dead logic in the Simulink Coverage™ report.
