Main Content

Simulate Harness Model with Signal Editor Inputs Block

Open Script

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 31-Dec-2021 02:59:04...
........................

Completed normally.

Generating output files:

The analysis did not produce a harness model.
Unable to read MAT-file C:\Users\pdasbasu\AppData\Roaming\MathWorks\MATLAB\R2022a\matlabprefs.mat. File might be corrupt.


Results generation completed.

    Data file:
    C:\Users\pdasbasu\OneDrive - MathWorks\Documents\MATLAB\ExampleManager\pdasbasu.Bdoc22a.j1830012\sldv-ex99648832\sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_sldvdata.mat

3. Generate combined model coverage report

Simulink Design Verifier automatically configures Signal Editor harness in multiple simulation mode. To simulate the generated test cases and gather coverage for Test Unit, click Run all (Coverage) button on Simulation toolstrip menu.

Alternatively, after the analysis generates the harness model, you can 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);

[31-Dec-2021 02:59:45] Checking for availability of parallel pool...
Starting parallel pool (parpool) using the 'local' profile ...
Connected to the parallel pool (number of workers: 6).
[31-Dec-2021 03:00:49] Starting Simulink on parallel workers...
[31-Dec-2021 03:01:16] Configuring simulation cache folder on parallel workers...
[31-Dec-2021 03:01:17] Loading model on parallel workers...
[31-Dec-2021 03:01:26] Running simulations...
[31-Dec-2021 03:01:45] Completed 1 of 3 simulation runs
[31-Dec-2021 03:01:45] Completed 2 of 3 simulation runs
[31-Dec-2021 03:01:45] Completed 3 of 3 simulation runs
[31-Dec-2021 03:01:45] 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);