このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。
デッド ロジックの検出
関数
sldvextract | サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する |
sldvoptions | 設計検証オプション オブジェクトの作成 |
sldvrun | モデルの解析 |
sldvreport | Simulink Design Verifier レポートを作成する |
モデルのチェック
トピック
設計エラー検出解析オプションについて説明します。
Simulink® Design Verifier™ でのデッド ロジックの検出の 2 つの解析モードについて説明する。
特定のモデル オブジェクトのデッド ロジック設計エラー検出に関する情報。
デッド ロジックが生じるいくつかのシナリオの説明。
この例は、sldvexCommonCausesOfDeadLogic モデルを使用して、デッド ロジックの原因となっている可能性のある個所を分離する方法を示します。
デッド ロジックの結果を使用して不適切な入力仕様を見つける方法を示す例
Simulink Design Verifier による解析モデルの実行時エラー検出方法を制御するオプションを指定します。
Simulink Design Verifier のオプション
[コンフィギュレーション パラメーター] ダイアログ ボックスの Simulink Design Verifier オプションの概要。
Simulink Design Verifier レポートのさまざまな部分について説明する。
Simulink Design Verifier データ ファイル
Simulink Design Verifier データ ファイルのコンテンツについて説明する。
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou 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)
