Main Content

Simulate Harness Model with Signal Editor Inputs Block

This example shows how to generate model coverage report by simulating the test harness model with the Signal Editor Inputs block. You can simulate a single test case or counterexample by selecting the active scenario in the Signal Editor dialog box. For more information see, Simulate Harness Model by Using the Signal Editor Inputs Block.

To simulate all the test cases and measure their combined model coverage, use the cvsim or the parsim command.

In this example, you generate a harness model by selecting the Signal Editor as the harness source. The Signal Editor scenarios consists of signal sources that are associated with the test cases or counterexamples. Then, to generate combined model coverage report, you simulate all the scenarios by using the cvsim or parsim function.

1. Open the model and configure harness options

Create a harness model for the sldvdemo_cruise_control model by using the sldvharnessopts options. Set the HarnessSource option to Signal Editor.

model = 'sldvdemo_cruise_control';
open_system(model);
opts = sldvoptions;
opts.Mode = 'TestGeneration';
opts.SaveHarnessModel = 'on';
opts.HarnessSource = 'Signal Editor';
opts.HarnessModelFileName = 'sldvdemo_cruise_control_harness';
opts.SaveReport = 'off';

2. Generate test cases

Analyze the model by using the sldvrun function and sldvoptions.

sldvrun('sldvdemo_cruise_control', opts);
save_system('sldvdemo_cruise_control_harness');
Checking compatibility for test generation: model 'sldvdemo_cruise_control'
Compiling model...done
Building model representation...done

'sldvdemo_cruise_control' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 01-Sep-2021 14:05:33...
........................

Completed normally.

Generating output files:

    Harness model:
    /tmp/Bdoc21b_1757077_40675/tp6193f4e0/ex99648832/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_harness.slx

Results generation completed.

    Data file:
    /tmp/Bdoc21b_1757077_40675/tp6193f4e0/ex99648832/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_sldvdata.mat

3. Generate combined model coverage report

After the analysis generates the harness model, use this code that uses cvtest and cvsim functions to generate the combined model coverage report.

signalEditorBlock = 'sldvdemo_cruise_control_harness/Inputs';
numOfScenarios = str2double(get_param(signalEditorBlock,'NumberOfScenarios'));
harnessModel = 'sldvdemo_cruise_control_harness';
test = cvtest(harnessModel);
test.modelRefSettings.enable = 'On';
test.modelRefSettings.excludeTopModel = 1;
covData = [];
for id = 1:numOfScenarios
set_param(signalEditorBlock,'ActiveScenario',id);
aCovData = cvsim(harnessModel);
if isempty(covData)
covData = aCovData;
else
covData = covData + aCovData;
end
end
save_system('sldvdemo_cruise_control_harness');
cvhtml('Coverage_Harness',covData);

Optionally, you can use this code that uses the parsim function to generate the combined model coverage report.

signalEditorBlock = 'sldvdemo_cruise_control_harness/Inputs';
numOfScenarios = str2double(get_param(signalEditorBlock,'NumberOfScenarios'));
harnessModel = 'sldvdemo_cruise_control_harness';

simIn  = Simulink.SimulationInput.empty(0,numOfScenarios);
for id = 1:numOfScenarios
    simIn(id) = Simulink.SimulationInput(harnessModel);
    simIn(id) = simIn(id).setBlockParameter(signalEditorBlock,'ActiveScenario', id);
    simIn(id) = simIn(id).setModelParameter('CovEnable', 'on');
    simIn(id) = simIn(id).setModelParameter('CovSaveSingleToWorkspaceVar', 'on');
end

simOut = parsim(simIn);
cvhtml('Coverage_Harness',simOut.covdata);
[01-Sep-2021 14:06:09] Checking for availability of parallel pool...
Starting parallel pool (parpool) using the 'local' profile ...
Connected to the parallel pool (number of workers: 4).
[01-Sep-2021 14:07:45] Starting Simulink on parallel workers...
[01-Sep-2021 14:09:32] Configuring simulation cache folder on parallel workers...
[01-Sep-2021 14:09:33] Loading model on parallel workers...
[01-Sep-2021 14:10:09] Running simulations...
[01-Sep-2021 14:10:33] Completed 1 of 3 simulation runs
[01-Sep-2021 14:10:33] Completed 2 of 3 simulation runs
[01-Sep-2021 14:10:33] Completed 3 of 3 simulation runs
[01-Sep-2021 14:10:33] Cleaning up parallel workers...

The coverage report indicates that 100% coverage is achieved by simulating all the test cases for sldvdemo_cruise_control_model.

5. Clean Up

% To complete this example, close the models.
close_system('sldvdemo_cruise_control_harness', 0);
close_system('sldvdemo_cruise_control', 0);