Simulink Verification and Validation
This example shows the features of the coverage tool that simplify the generation of coverage data spanning a set of coverage runs.
This example uses the sf_car model to explain the settings and options to accumulate coverage. Inside this model is a signal builder block that is configured with four sets of simulation data. By default the simulation uses the first set of data.
Start by opening the coverage settings dialog from the Analysis menu on the Simulink® editor. Selecting the "Coverage for this model" checkbox at the top of the Coverage pane enables model coverage for the next simulation. It also activates the Coverage metrics check boxes for selecting the types of coverage to perform.
From the Coverage metrics check boxes in the Coverage pane of the Coverage Settings dialog, enable only the Decision and Condition Coverage.
In the Results pane of the Coverage Settings dialog, select the checkbox "Enable cumulative data collection". This setting tells the coverage tool to maintain and update a running total of the coverage results. At the end of each simulation the running total is updated with the most recent results.
On the Report pane of the Coverage Settings dialog, make sure that the check box "Generate HTML report" is selected. The Report pane contains options for reporting the coverage based on the cumulative results.
On the Coverage Settings dialog, select OK to apply the settings and close the settings dialog.
Begin simulation and observe the resulting model coverage report. Notice that it has no cumulative results and the report is the same as it would be for a single simulation.
Before simulating again, double-click the User Inputs block. In the resulting Signal builder dialog, make sure that the Gradual Acceleration tab is selected as the active data set. Testing with this input data set may reveal design aspects that were not tested for in the first simulation.
After you run the second simulation the generated coverage report has three columns: Current Run, Delta, and Cumulative. The Current Run column displays the coverage from the current simulation. The Delta column displays the coverage exposed by the current simulation that was not achieved in the cumulative results before this simulation. The Cumulative column gives the current cumulative coverage numbers.
cvsave command to store coverage results to the file demo_cov_data.cvt. This creates a text file that contains information about the structure of the model and the execution counts for each coverage point.
cvsave command is invoked with the name of a model, all of the coverage data for that model is written to disk. A data object is created for the results of each simulation and another object for the cumulative coverage results.
Close the model. This clears all coverage data from memory. Attempting to access a cleared data object in the MATLAB® workspace causes an error message.
Restore all coverage data, including cumulative data, with the
cvload command. Make sure the model is open before restoring the data so that restored coverage data elements are automatically associated with active model elements.
The optional second argument to
cvload is a Boolean flag that indicates if the cumulative coverage data should be loaded from file. If this is enabled any existing cumulative coverage data in memory is overwritten. In this case, the model was closed and reopened, so there is no coverage data to overwrite.
open_system('sf_car') % Open the model [testObjs,dataObjs] = cvload('demo_cov_data',1) % Load the coverage data
Restore the coverage settings and cumulative report options set in prior steps and run another simulation using the Hard braking data set in Signal Builder dialog.
As expected, the cumulative report format is used because of the cumulative data restored prior to simulation.
Close the model to end.