Coverage for S-Functions
This example shows how to configure an S-Function generated with the Legacy Code Tool to be compatible with coverage. The model coverage tool supports S-Functions that are:
Generated with the Legacy Code Tool, with
def.Options.supportCoverage
set totrue
,Generated with the SFunctionBuilder, with Enable support for coverage selected on the Build Info tab of the SFunctionBuilder dialog box, or
Compiled with the
slcovmex
function.
Open Example Model
The example model slcoverage_lct_bus contains an S-Function generated with the Legacy Code Tool. The S-Function has constructs that receive decision, condition, and MCDC coverage.
Configure S-Function to Be Compatible with Model Coverage
The legacy source code in the files counterbus.h, and counterbus.c implements the same algorithm as in slcoverage_lct_bus/slCounter. The Legacy Code Tool data structure is defined as follows:
load_system('slcoverage_lct_bus'); open_system('slcoverage_lct_bus/TestCounter'); load slcoverage_lct_data.mat def = legacy_code('initialize'); def.SFunctionName = 'slcoverage_sfun_counterbus'; def.OutputFcnSpec = ... ['void counterbusFcn(COUNTERBUS u1[1], ' ... 'int32 u2, COUNTERBUS y1[1], int32 y2[1])']; def.HeaderFiles = {'counterbus.h'}; def.SourceFiles = {'counterbus.c'};
To make this S-Function compatible with model coverage, enable the following option:
def.Options.supportCoverage = true;
Generate and compile the S-Function using the legacy_code
function:
legacy_code('generate_for_sim', def);
### Start Compiling slcoverage_sfun_counterbus mex -I/tmp/Bdoc24b_2725827_4120390/tp1c9d4662/slcoverage-ex71096464 -c /tmp/Bdoc24b_2725827_4120390/tp112e8e59_a66c_4da5_b542_2d64c73137db/counterbus.c -outdir /tmp/Bdoc24b_2725827_4120390/tpeb467d71_48a3_4ecd_a84d_fa682bc08687 Building with 'gcc'. MEX completed successfully. mex -I/tmp/Bdoc24b_2725827_4120390/tp1c9d4662/slcoverage-ex71096464 /tmp/Bdoc24b_2725827_4120390/tp112e8e59_a66c_4da5_b542_2d64c73137db/tp63befc01_2617_473b_be87_e4203338c57e.c /tmp/Bdoc24b_2725827_4120390/tpeb467d71_48a3_4ecd_a84d_fa682bc08687/counterbus.o -L/mathworks/devel/bat/filer/batfs2566-0/Bdoc24b.2725827/build/runnable/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output slcoverage_sfun_counterbus Building with 'gcc'. MEX completed successfully. mex -I/tmp/Bdoc24b_2725827_4120390/tp1c9d4662/slcoverage-ex71096464 -c /tmp/Bdoc24b_2725827_4120390/tp1c9d4662/slcoverage-ex71096464/counterbus.c -outdir /tmp/Bdoc24b_2725827_4120390/tpeb467d71_48a3_4ecd_a84d_fa682bc08687 Building with 'gcc'. MEX completed successfully. mex -I/tmp/Bdoc24b_2725827_4120390/tp1c9d4662/slcoverage-ex71096464 /tmp/Bdoc24b_2725827_4120390/tp112e8e59_a66c_4da5_b542_2d64c73137db/slcoverage_sfun_counterbus.c /tmp/Bdoc24b_2725827_4120390/tp112e8e59_a66c_4da5_b542_2d64c73137db/tp9f138a95_cb90_4ad1_bdf7_41f0bc2ae1f2.c /tmp/Bdoc24b_2725827_4120390/tp112e8e59_a66c_4da5_b542_2d64c73137db/tp0dc8e1ed_cb55_4237_ab07_9204a1810d5a.c /tmp/Bdoc24b_2725827_4120390/tpeb467d71_48a3_4ecd_a84d_fa682bc08687/counterbus.o -L/mathworks/devel/bat/filer/batfs2566-0/Bdoc24b.2725827/build/runnable/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output slcoverage_sfun_counterbus Building with 'gcc'. MEX completed successfully. ### Finish Compiling slcoverage_sfun_counterbus ### Exit
Enable S-Function Coverage
To enable coverage collection for S-Functions, select C/C++ S-Functions in the Coverage pane of the Configurations Parameters dialog box. Alternatively, set the option through the command line:
set_param('slcoverage_lct_bus',... 'CovMetricStructuralLevel', 'MCDC',... 'RecordCoverage', 'on',... 'CovSFcnEnable', 'on',... 'CovSaveSingleToWorkspaceVar','on'... );
Run Simulation and Produce Coverage Report
Once you enable coverage data collection, coverage information is automatically recorded when you simulate the model. At the end of the simulation, you can generate an HTML report of coverage information, which is displayed in the built-in MATLAB® web browser.
sim('slcoverage_lct_bus', 'StopTime', '20'); cvhtml('coverageResults', covdata);
Extract Information from Coverage Data Objects
The cvdata
object can be used to extract coverage information for S-Functions, just like any other supported model element. For instance, the decisioninfo
command extracts coverage information from a block path or a block handle. The output is a vector containing the satisfied and total outcomes for a single model object.
cov = decisioninfo(covdata, ... 'slcoverage_lct_bus/TestCounter/slcoverage_sfun_counterbus')
cov = 3 4
You then use this coverage information to calculate the percentage of covered model objects:
percentCov = 100 * (cov(1)/cov(2))
percentCov = 75
S-Function coverage is fully compatible with the model coverage commands, such as decisioninfo
, conditioninfo
, and mcdcinfo
.