Documentation

Open the example model:

sldemo_mdlref_basic

On the Apps tab, click the arrow on the right of the Apps section.

Under Model Verification, Validation, and Test, click Coverage Analyzer.

On the Coverage tab, click Settings.

In the Coverage pane of the Configuration Parameters, select Enable coverage analysis.

Select Referenced Models.

Note that the analysis records coverage only for referenced models with Simulation mode set to Normal, SIL, or PIL. In sldemo_mdlref_basic, the CounterC Model block has Simulation mode set to Accelerator, so you cannot record coverage for it.

Under Coverage metrics, set the structural coverage level to Modified Condition Decision Coverage (MCDC) to record decision, condition, and modified condition/decision coverage.

Click OK.

Click Analyze Coverage.

To open the coverage report, in the Review Results section, click Generate Report.

When the simulation completes, the generated coverage report opens in a browser window. The report shows the following coverage results for the referenced model:

The coverage results are also highlighted in the referenced model, sldemo_mdlref_counter. You can select individual model objects to view specific coverage results in the Coverage dialog box, as shown in the following screenshot.

To log the input signals for the CounterA Model block in sldemo_mdlref_basic during simulation, at the MATLAB^® command prompt, enter the following code:

logged_data = sldvlogsignals('sldemo_mdlref_basic/CounterA');

Save the logged data in a MAT-file named existingtestcase.mat:

save('existingtestcase.mat', 'logged_data');

When you analyze the model referenced in CounterA (sldemo_mdlref_counter) to extend existing test cases, you specify this MAT-file.

To open the sldemo_mdfref_counter model, in the sldemo_mdlref_basic model, double-click the CounterA Model block.

On the Design Verifier tab, click Test Generation Settings.

In the Configuration Parameters dialog box, on the Test Generation pane, in the Model coverage objectives box, select MCDC.

Under Existing test cases, select Extend existing test cases.

In the Data file field, specify the name of the MAT-file that contains the logged data, in this case, existingtestcase.mat.

Clear Ignore objectives satisfied by existing test cases.

When you clear this option, the software includes the test cases recorded in the file existingtestcase.mat in the final test suite.

Click OK.

Click Generate Tests.

The analysis first loads the objectives satisfied by the logged test cases. Then it adds extra time steps to those test cases and tries to satisfy any missing objectives. When the analysis completes, the Simulink Design Verifier log window opens and indicates that all 12 objectives are satisfied.

To view the analysis results on the model, in the Simulink Design Verifier log window, select Highlight analysis results on model.

The Simulink Design Verifier results are highlighted in the referenced model, sldemo_mdlref_counter. You can select individual model objects to view specific analysis results in the Simulink Design Verifier Results dialog box, as shown in the following screenshot.

To verify the results of the analysis and review the generated test cases, in the Simulink Design Verifier log window, select Generate detailed analysis report.

To collect model coverage using the extended test suite, in the Simulink Design Verifier log window, select Simulate tests and produce a model coverage report.

When the simulation completes, the generated coverage report opens in a browser window. The report now shows the following coverage results for the referenced model sldemo_mdlref_counter: