User`s guide

18 Coverage Collection During Simulation
18-52
When you specify the Simulink Design Verifier coverage metric in the Coverage
Settings dialog box, the Simulink Verification and Validation software records coverage
for these functions.
Each of these functions evaluates an expression expr, for example, sldv.test(expr),
where expr is any valid Boolean MATLAB expression. Simulink Design Verifier
coverage measures the number of time steps that the expression expr evaluates to true.
If expr is true for at least one time step, Simulink Design Verifier coverage for that
function is 100%. Otherwise, the Simulink Verification and Validation software reports
coverage for that function as 0%.
Consider a model that contains this Stateflow chart:
To collect coverage for Simulink Design Verifier functions, on the Coverage Settings
dialog box, on the Coverage tab, select Simulink Design Verifier.
After simulation, the model coverage report lists coverage for the sldv.condition,
sldv.assume, sldv.prove, and sldv.test functions.