カバレッジフィルターの規則の作成、編集、表示

カバレッジフィルターの規則の作成と編集

カバレッジフィルターの規則の作成
フィルターモードの選択
カバレッジフィルターの規則への根拠の追加
Simulink Design Verifier のデッドロジック解析からのデッドロジックの正当化
Polyspace Code Prover の結果からのデッドロジックの正当化

カバレッジフィルターの規則の作成

カバレッジフィルターの規則を作成するには、次の手順に従います。

モデルカバレッジを有効にします。
カバレッジの結果を記録するには、モデルをシミュレートします。
次のいずれかの方法で新しいフィルターの規則を作成します。
- モデルウィンドウで、モデルオブジェクトを右クリックして、[カバレッジ] 、 [排除] を選択します。
- カバレッジレポートの詳細節で、モデルオブジェクトの [正当化または排除] をクリックします。
- カバレッジの結果エクスプローラーから新しいカバレッジフィルターファイルを直接作成します。
  1. [適用済みのフィルター] をクリックします。
  2. [新規フィルター] をクリックします。
  3. フィルターの [名前] と [説明] を入力します。
  4. [名前を付けて保存] をクリックします。
  5. フィルターファイルのファイル名とフォルダーを指定して、[保存] をクリックします。
  また、[適用済みのフィルター] ラベルを右クリックして、[新規フィルター] を選択することもできます。

選択したオプションに応じて、選択したカバレッジフィルターの規則に対応するようにカバレッジの結果エクスプローラーでの適用済みのフィルターの表示の [タイプ] フィールドが設定されます。[タイプ] フィールドの値をオーバーライドすることはできません。

フィルターモードの選択

フィルターの規則を作成するときの既定のフィルターモードは [Excluded] です。排除されるオブジェクトはカバレッジレポートに表示されません。フィルターモードを [Justified] に設定することもできます。正当化済みのブロックは 100% カバレッジを達成したものとして表示されます。

詳細については、カバレッジのフィルターを参照してください。

カバレッジフィルターの規則への根拠の追加

オプションで、オブジェクトをカバレッジの記録対象から排除する理由を説明するテキストを追加することができます。この情報は、他の人がモデルのカバレッジを確認する場合に便利です。カバレッジフィルターの規則を追加すると、カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションが開きます。根拠を追加するには、次の手順に従います。

規則の [根拠] フィールドをダブルクリックします。
現在のテキストを削除します。
このオブジェクトを排除する根拠を追加します。

メモ

カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションで編集できるカバレッジフィルターの規則のフィールドは、[根拠] フィールドと [モード] フィールドのみです。

新しいカバレッジフィルターの規則を追加した後、または既存のカバレッジフィルターの規則を編集した後に、[適用] をクリックして、[レポートの生成] リンクと [カバレッジの結果によりモデルを強調表示] リンクを有効にします。

Simulink Design Verifier のデッドロジック解析からのデッドロジックの正当化

Simulink^® Design Verifier™ のデッドロジック解析で検出されたデッドロジックを使用して、カバレッジの結果エクスプローラーで正当化規則を作成することができます。

[カバレッジ] アプリから結果エクスプローラーを開きます。
[適用済みのフィルター] をクリックして、カバレッジフィルターにアクセスします。
[デッドロジックに対する正当化フィルター規則を作成 (Simulink Design Verifier を使用)] をクリックします。
Simulink Design Verifier によってデッドロジック解析が実行され、フィルターのリストが作成されます。
[レポートの生成] をクリックします。
前の手順で正当化された規則が、レポート冒頭の [カバレッジ解析からフィルターで除外されたオブジェクト] 節に表示されます。レポートの [詳細] 節にある規則の対応項目に移動するには、規則の説明のハイパーリンクを使用します。[根拠] 列のハイパーリンクをクリックすると、カバレッジの結果エクスプローラーに移動します。
レポートの [詳細] 節でをクリックすることにより、カバレッジの対象とならない要素の正当化規則をフィルターに追加できます。

Polyspace Code Prover の結果からのデッドロジックの正当化

Polyspace^® Code Prover™ の結果を使用して、カバレッジの結果エクスプローラーでコードカバレッジに対する正当化規則を作成できます。

[カバレッジ] アプリから結果エクスプローラーを開きます。
[適用済みのフィルター] をクリックして、カバレッジフィルターにアクセスします。
[デッドロジックに対する正当化フィルター規則を作成 (Polyspace Code Prover の結果を使用)] をクリックします。
ファイル選択ウィンドウが開き、Polyspace Code Prover の結果ファイルを指定できます。
[レポートの生成] をクリックします。

カバレッジフィルターのファイルへの保存

カバレッジフィルターの規則を定義した後、現在のモデルや他のモデルで再利用できるようにその規則をファイルに保存します。既定では、カバレッジフィルターファイルは <model_name>_covfilter.cvf という名前です。

[アプリ] タブで、[カバレッジアナライザー] をクリックします。[カバレッジ] タブで、カバレッジの結果エクスプローラーを開きます。
[適用済みのフィルター] をクリックして、フィルターを選択します。
まだ存在していない場合は、フィルターの [名前] と [説明] を入力します。
[適用] をクリックします。[保存] ダイアログボックスが開きます。
フィルターファイルのファイル名とフォルダーを指定して、[保存] をクリックします。

カバレッジフィルターの規則に対して複数の変更を行った場合、その都度変更をカバレッジフィルターファイルに適用します。

新規カバレッジフィルターファイルの作成

カバレッジの結果エクスプローラーから新しいカバレッジフィルターファイルを直接作成できます。

[適用済みのフィルター] をクリックします。
[新規フィルター] をクリックします。また、[適用済みのフィルター] を右クリックして、[新規フィルター] を選択することもできます。
フィルターの [名前] と [説明] を入力します。
[適用] をクリックします。[保存] ダイアログボックスが開きます。
フィルターファイルのファイル名とフォルダーを指定して、[保存] をクリックします。

カバレッジフィルターファイルの読み込み

カバレッジフィルターファイルを保存したら、他のモデルで使用するためにカバレッジフィルターファイルを読み込むことができます。カバレッジの結果エクスプローラーで、次を行います。

[適用済みのフィルター] をクリックします。
[フィルターの読み込み] をクリックします。また、[適用済みのフィルター] を右クリックして、[フィルターの読み込み] を選択することもできます。
フィルターファイルに移動して、[開く] をクリックします。

任意のモデルに対して複数のカバレッジフィルターファイルを読み込むことができます。読み込まれたフィルターファイルは、カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションに表示されます。

2 つ以上のモデルに同じカバレッジフィルターファイルを付加することができます。モデルに、別のモデルの特定のオブジェクトに対するカバレッジフィルターの規則があるフィルターファイルが付加されている場合、カバレッジの記録時にはその規則は無視されます。

適用済みカバレッジフィルターの削除

適用済みカバレッジフィルターを削除するには、カバレッジの結果エクスプローラーから次を行います。

[適用済みのフィルター] を展開します。
削除するカバレッジフィルターを右クリックし、[削除] を選択します。

Simulink Test のテストマネージャーを使用した適用済みのフィルターの管理

Simulink Test™ のテストマネージャーからカバレッジフィルターファイルを追加および削除することもできます。詳細については、Coverage Filtering Using the Test Manager (Simulink Test)を参照してください。

現在のフィルター設定でのレポートの更新

モデルのシミュレーションを実行した後に、フィルター設定の変更やフィルターの追加を行った場合、モデルのシミュレーションを再実行せずに、カバレッジレポートとモデルの強調表示を更新できます。モデルのシミュレーションを実行した後、カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションにある [現在の累積データ] セクションで次を行います。

行った変更に関して、[適用] または [元に戻す] をクリックします。
[レポートの生成] をクリックします。

モデル内のカバレッジフィルターの規則の表示

カバレッジフィルターの規則を定義したり、既存のカバレッジフィルターの規則を削除したりする場合、カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションが開きます。このペインには、適用済みのフィルターに対するカバレッジフィルターの規則がリストされます。詳細については、カバレッジの結果エクスプローラーでの適用済みのフィルターの表示を参照してください。

モデルに現在適用されているフィルターのリストは、カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションに表示されます。また、モデルウィンドウ内の任意の場所を右クリックして、[カバレッジ] 、 [フィルタービューアーを開く] を選択することもできます。

サブシステム内では、そのサブシステムに付加されているカバレッジフィルターの規則をすべて表示できます。カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションを開くには、サブシステム内の任意のオブジェクトを右クリックして、[カバレッジ] 、 [親のフィルター処理を表示する] を選択します。