Simulate the model and collect coverage results in a new cvdata object.

dataObj = cvsim(testObj);

Get the saturation on overflow coverage results for the
MinMax block in the Mixing & Combustion subsystem. The coverage
results are stored in a two-element vector of the form [covered_outcomes
total_outcomes].

Output Arguments

Saturation on overflow coverage results, stored in a two-element
vector of the form [covered_outcomes total_outcomes].
The two elements are:

covered_outcomes

Number of saturation on integer overflow outcomes satisfied
for object

total_outcomes

Total number of saturation on integer overflow outcomes for object

Data Types: double

description — Textual description of coverage outcomesstructure array

Textual description of coverage outcomes for the model component
specified by object, returned as a structure
array. Depending on the types of model coverage collected, the structure
array can have different fields. If only saturation on overflow coverage
is collected, the structure array contains the following fields:

isFiltered

0 if the model component specified
by object is not excluded from coverage recording. 1 if
the model component specified by object is excluded
from coverage recording. For more information about excluding objects
from coverage, see Coverage Filtering.

decision.text

'Saturate on integer overflow'

decision.outcome

Structure array containing two fields for each coverage
outcome:

executionCount

Number of times saturation on integer overflow for object evaluated
to the outcome described by text.

text

'true' or 'false'

Saturation on
integer overflow has two possible outcomes, 'true' and 'false'.

decision.isFiltered

0 if the model component specified
by object is not excluded from coverage recording. 1 if
the model component specified by object is excluded
from coverage recording. For more information about excluding objects
from coverage, see Coverage Filtering.

decision.filterRationale

Rationale for filtering the model component specified
by object, if object is
excluded from coverage and a rationale is specified. For more information
about excluding objects from coverage, see Coverage Filtering.

This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic. By continuing to use this website, you consent to our use of cookies. Please see our Privacy Policy to learn more about cookies and how to change your settings.