[解析フィルター] ビューアーを使用したオブジェクティブのフィルター処理

設計エラー検出またはテスト生成解析からのモデルオブジェクトおよびコード式のフィルター処理により、Simulink^® Design Verifier™ 解析のオブジェクトのサブセットに集中できます。解析に長時間かかるモデルオブジェクトがある場合や、コードベースの解析で固有のオブジェクティブに集中する場合にフィルターを使用します。

カバレッジフィルターファイルを追加できます。[コンフィギュレーションパラメーター] ウィンドウを開き、[Design Verifier] をクリックし、[詳細設定パラメーター] でフィルターを基にオブジェクティブを無視するを選択します。[フィルターファイル] パラメーターでカバレッジフィルターファイルを入力します。カバレッジフィルターファイルの詳細については、カバレッジフィルターの作成と使用 (Simulink Coverage)を参照してください。コードベースの解析で [Design Verifier] オブジェクティブをフィルターして、コードベースの結果をモベルベースの結果に合わせることもできます。

設計エラー検出またはテスト生成解析を実行してから、[解析フィルター] ビューアーを使用して、反証されたオブジェクティブを正当化できます。[解析フィルター] ビューアーを使用してカバレッジフィルターを編集する場合、Simulink Design Verifier レポートを更新し、モデルを再度解析せずに解析結果をモデルで強調表示できます。オブジェクティブをフィルター処理する方法の詳細な例については、設計エラー検出のためのオブジェクティブの除外と正当化を参照してください。

解析フィルタービューアーを使用したカバレッジフィルターファイルの編集

モデルの解析後、[解析フィルター] ビューアーを使用して、反証されたオブジェクティブを正当化し、カバレッジフィルターファイルを更新します。

[検証結果の概要] ウィンドウまたは結果インスペクターウィンドウから [解析フィルター] ビューアーを開きます。

[検証結果の概要] ウィンドウで、[フィルタービューアーを開く] をクリックします。
結果インスペクターウィンドウで、次のようにします。
- 正当化済みオブジェクティブを確認するには、[表示] をクリックします。
- エラーとなるオブジェクティブを正当化するには、[正当化] をクリックします。

[解析フィルター] ビューアーでは以下のことが可能です。

解析のためのフィルターの規則を確認および管理する。
モデルでの解析フィルターファイルを読み込みまたは保存する。
モデルにアクセスしてフィルターの規則を追加作成する。
オブジェクティブまたはモデルオブジェクトあるいはコード式が除外または正当化される理由に関する根拠の説明を追加する。

タスク	アクション
規則に関連付けられているモデルオブジェクトにアクセスする。メモこの手順はモデルオブジェクティブ解析でのみ有効です。	規則を選択します。 [モデル内に表示] をクリックします。モデルオブジェクトは青で強調表示されます。
規則を削除する。	規則を選択します。 [ルールの削除] をクリックします。
現在の規則をファイルに保存する。	[適用] をクリックします。 [フィルターの保存] をクリックします。フィルターファイルのファイル名とフォルダーを指定して、[保存] をクリックします。
既存のカバレッジフィルターファイルを読み込む。	[フィルターの読み込み] をクリックします。フィルターファイルに移動して、[開く] をクリックします。
モデルを強調表示し、現在のフィルターの規則を使用して現在の解析レポートを更新する。	行った変更に関して、[適用] または [元に戻す] をクリックします。モデルは更新されたフィルターの規則に基づいて強調表示されます。 [検証結果の概要] ウィンドウまたは結果インスペクターウィンドウで、[HTML] または [PDF] をクリックします。

制限

Simulink Design Verifier では、プロパティ証明解析に関連付けられたオブジェクティブのフィルター処理はサポートされません。

[解析フィルター] ビューアーを使用したオブジェクティブのフィルター処理

解析フィルター ビューアーを使用したカバレッジ フィルター ファイルの編集

制限

関連するトピック

解析フィルタービューアーを使用したカバレッジフィルターファイルの編集