Code Coverage Test Generation
This example shows how to use Simulink® Design Verifier™ to generate test cases to obtain complete code coverage.
You first collect code coverage for an example model configured for software-in-the-loop (SIL) simulation mode. Then you use Simulink® Design Verifier™ to create a test suite that generates tests cases. Finally, you execute the generated test cases in SIL simulation mode to verify the complete coverage.
Check Product Availability
Make sure that you have Simulink® Coder™ and Embedded Coder™ software installed on your machine.
if ~(license('test', 'Real-Time_Workshop') && ... license('test','RTW_Embedded_Coder')) return end
Initial Setup
Make sure that an unedited version of the model is open.
model = 'sldv_cruise_control';
close_system(model, 0)
open_system(model)
Configure the Model for SIL based test generation
1. In the Configuration Parameters window, click Code Generation and set System Target File to ert.tlc
. Alternatively, enter:
set_param(model,'SystemTargetFile','ert.tlc');
2. Click Hardware Implementation, then set Device vendor and Device type to the vendor and type of your SIL system. For example, for a 64-bit Linux machine, set Device vendor to Intel
and Device type to x-86-64(Windows)
. Alternatively, enter:
if ismac lProdHWDeviceType = 'Intel->x86-64 (Mac OS X)'; elseif isunix lProdHWDeviceType = 'Intel->x86-64 (Linux 64)'; else lProdHWDeviceType = 'Intel->x86-64 (Windows64)'; end set_param(model, 'ProdHWDeviceType', lProdHWDeviceType);
Find Test Cases for Coverage Computation
Analyze the sldv_cruise_control
model by using Simulink® Design Verifier™ to generate a test suite that achieves increased code coverage. Set the Simulink® Design Verifier™ options to generate test cases to achieve MCDC coverage for the top model.
opts = sldvoptions; opts.TestgenTarget = 'GenCodeTopModel'; opts.Mode = 'TestGeneration'; [~, files] = sldvrun(model, opts, true);
### Starting build procedure for: sldv_cruise_control ### Successful completion of build procedure for: sldv_cruise_control ### Preparing to start SIL simulation ... Building with 'gcc'. MEX completed successfully. ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Searching for referenced models in model 'HARNESS_4_SLDV_SIL_CODEGEN_VALIDATION'. ### Found 1 model reference targets to update. ### Starting build procedure for: sldv_cruise_control ### Generated code for 'sldv_cruise_control' is up to date because no structural, parameter or code replacement library changes were found. ### Successful completion of build procedure for: sldv_cruise_control Build Summary 0 of 1 models built (1 models already up to date) Build duration: 0h 0m 2.1303s ### Preparing to start SIL simulation ... ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Completed code coverage analysis ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Completed code coverage analysis ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Completed code coverage analysis ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Completed code coverage analysis
Note: When you run the script, the SIL test generation regenerates and recompiles the code.
Verify Complete Coverage
The sldvruntest
function simulates the model by using the generated test suite. The cvhtml
function produces a coverage report that indicates the final coverage of the sldvdemo_cruise_control
model.
[~, finalCov] = sldvruntest(model, files.DataFile, [], true);
cvhtml('sil_final_coverage', finalCov);
close_system(model, 0);
### Searching for referenced models in model 'HARNESS_4_SLDV_SIL_CODEGEN_VALIDATION'. ### Found 1 model reference targets to update. ### Starting build procedure for: sldv_cruise_control ### Generated code for 'sldv_cruise_control' is up to date because no structural, parameter or code replacement library changes were found. ### Successful completion of build procedure for: sldv_cruise_control Build Summary 0 of 1 models built (1 models already up to date) Build duration: 0h 0m 1.8715s ### Preparing to start SIL simulation ... Building with 'gcc'. MEX completed successfully. ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Completed code coverage analysis ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Completed code coverage analysis ### Starting SIL simulation for component: sldv_cruise_control ### Application stopped ### Stopping SIL simulation for component: sldv_cruise_control ### Completed code coverage analysis
Note: When you run the script, the SIL test generation regenerates and recompiles the code.