Main Content

Create, Edit, and View Coverage Filter Rules

Create and Edit Coverage Filter Rules

Create a Coverage Filter Rule

To create a coverage filter rule:

  1. Enable model coverage.

  2. To record coverage results, simulate the model.

  3. Create a new filter rule in one of these ways:

    • In the model window, right-click a model object and select Coverage > Exclude.

    • In the Details section of the Coverage Report, click Justify or Exclude for a model object.

    • Create a new coverage filter file directly from the coverage Results Explorer:

      1. Click Applied filters.

      2. Click New filter.

      3. Enter a Name and Description for the filter.

      4. Click Save as.

      5. Specify a file name and folder for the filter file and click Save.

      Alternatively, you can right-click the Applied filters label and select New filter

Depending on which option you select, the Type field in the View Applied Filters in the Coverage Results Explorer is set for the coverage filter rule you selected. You cannot override the value in the Type field.

Select the Filtering Mode

When you create a filtering rule, the default filtering mode is Excluded. Excluded objects do not appear in the coverage reports. You can also set the filtering mode to Justified. Justified blocks appear as achieving 100% coverage.

For more information, see Coverage Filtering.

Add Rationale to a Coverage Filter Rule

Optionally, you can add text that describes why you exclude that object or objects from coverage recording. This information can be useful to others who review the coverage for your model. When you add a coverage filter rule, the Applied filters section of the coverage Results Explorer opens. To add the rationale:

  1. Double-click the Rationale field for the rule.

  2. Delete the existing text.

  3. Add the rationale for excluding this object.

Note

The Rationale field and Mode field are the only coverage filter rule fields that you can edit in the Applied filters section of the coverage Results Explorer.

After you add a new coverage filter rule or edit an existing coverage filter rule, click Apply to enable the Generate report and Highlight model with coverage results links.

Justify Dead Logic from Simulink Design Verifier Dead Logic Analysis

You can create justification rules in the coverage Results Explorer using the dead logic detected during a Simulink® Design Verifier™ Dead Logic Analysis.

  1. Open the Results Explorer from the Coverage app.

  2. Click Applied filters to access the coverage filters.

  3. Click Make justification filter rules for dead logic (using Simulink Design Verifier).

    Simulink Design Verifier runs the Dead Logic Analysis and populates the list of filters.

  4. Click Generate report.

    The justified rules from the previous step are shown in the Objects Filtered from Coverage Analysis section at the beginning of the report. To navigate to the rules’ corresponding items in the Details section of the report, use the hyperlinks in the rule descriptions. Clicking the hyperlinks in the Rationale column navigates to the coverage Results Explorer.

    Coverage report section titled "Objects Filtered from Coverage Analysis" shows input port 1 T in Logic Block "Or" is justified with rationale "dead logic." A second rule shows input > lower limit F in Saturate block "Saturation" is justified with rationale "dead logic."

    You can add justification rules for elements that do not receive coverage to the filter by clicking in the Details section of the report.

Justify Dead Logic from Polyspace Code Prover Results

You can create justification rules for code coverage in the coverage Results Explorer using Polyspace® Code Prover™ results.

  1. Open the Results Explorer from the Coverage app.

  2. Click Applied filters to access the coverage filters.

  3. Click Make justification filter rules for dead logic (using Polyspace Code Prover results).

    Opens a file selection window so you can provide a Polyspace Code Prover results file.

  4. Click Generate report.

Save Coverage Filter to File

After you define the coverage filter rules, save the rules to a file so that you can reuse them with this model or other models. By default, coverage filter files are named <model_name>_covfilter.cvf.

  1. In the Apps tab, click Coverage Analyzer. In the Coverage tab, open the coverage Results Explorer.

  2. Click Applied filters, then select your filter.

  3. Enter a Name and Description for the filter, if none already exist.

  4. Click Apply. A save dialog box opens.

  5. Specify a file name and folder for the filter file and click Save.

If you make multiple changes to the coverage filter rules, apply the changes to the coverage filter file each time.

Create New Coverage Filter File

You can create a new coverage filter file directly from the coverage Results Explorer.

  1. Click Applied filters.

  2. Click New filter. Alternatively, you can right-click Applied filters and select New filter.

  3. Enter a Name and Description for the filter.

  4. Click Apply. A save dialog box opens.

  5. Specify a file name and folder for the filter file and click Save.

Load Coverage Filter File

After you save a coverage filter file, you can load the coverage filter file for use in other models. In the coverage Results Explorer:

  1. Click Applied filters.

  2. Click Load filter. Alternatively, you can right-click Applied filters and select Load filter.

  3. Navigate to the filter file and click Open.

You can load multiple coverage filter files for any model. Loaded filter files show in the Applied filters section of the coverage Results Explorer.

Two or more models can have the same coverage filter file attached. If a model has an attached filter file that contains coverage filter rules for specific objects in a different model, those rules are ignored during coverage recording.

Remove Applied Coverage Filter

To remove an applied coverage filter, from the coverage Results Explorer:

  1. Expand the Applied filters.

  2. Right-click the coverage filter you want to remove and select Remove.

Manage Applied filters by Using the Test Manager in Simulink Test

You can also add and remove coverage filter files from the Test Manager in Simulink Test™. For more information, see Coverage Filtering Using the Test Manager (Simulink Test).

Update the Report with the Current Filter Settings

If you change the filtering settings or add filters after you simulate the model, you can update the coverage report and model highlighting without resimulating the model. After you have simulated the model, in the Current Cumulative Data section of the Applied filters section of the coverage Results Explorer:

  1. Apply or Revert any changes you have made.

  2. Click Generate Report.

View Coverage Filter Rules in Your Model

Whenever you define a coverage filter rule or remove an existing coverage filter rule, the Applied filters section of the coverage Results Explorer opens. This pane lists the coverage filter rules for your applied filters. For more information, see View Applied Filters in the Coverage Results Explorer.

The list of currently applied filters for a model is available in the Applied filters section of the coverage Results Explorer. Alternatively, you can right-click anywhere in the model window and select Coverage > Open Filter Viewer.

If you are inside a subsystem, you can view any coverage filter rule attached to the subsystem. To open the Applied filters section of the coverage Results Explorer, right-click any object inside the subsystem and select Coverage > Show filter parent.