Test Generation for Custom Code in a Stateflow Chart

This example shows how to use test generation on a model with custom code in a Stateflow® chart.

Open the Model Containing Custom Code in a Stateflow Chart

open_system('sldvexSFCustomCodeExample');

Generate Tests to Ensure Coverage of the Model

Use the sldvrun function to run the Simulink® Design Verifier™ analysis.

opts = sldvoptions;
opts.Mode = 'TestGeneration';
opts.ModelCoverageObjectives = 'ConditionDecision';
opts.SaveHarnessModel = 'off';
opts.SaveReport = 'off';

[status, fileNames] = sldvrun('sldvexSFCustomCodeExample', opts);

27-Feb-2023 10:49:57
Checking compatibility for test generation: model 'sldvexSFCustomCodeExample'
Compiling model...done
Building model representation...done

27-Feb-2023 10:50:13

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

Generating tests using model representation from 27-Feb-2023 10:50:13...

..........
27-Feb-2023 10:50:29

Completed normally.

Generating output files:

27-Feb-2023 10:50:30
Results generation completed.

    Data file:
    /home/lucyzeng/Documents/MATLAB/ExampleManager/lucyzeng.BR2023ad.j2194193.1/sldv-ex18712703/sldv_output/sldvexSFCustomCodeExample/sldvexSFCustomCodeExample_sldvdata.mat

Verify the Coverage

Use the sldvruntest function to verify that the test suite achieves complete model coverage.

[~, finalCov] = sldvruntest('sldvexSFCustomCodeExample', fileNames.DataFile, [], true);
cvhtml('Final Coverage', finalCov);

Clean Up

To complete the example, close all models.

close_system('sldvexSFCustomCodeExample', 0);