User`s guide

Retrieve Coverage Details from Results
21-7
Retrieve Coverage Details from Results
Simulink Verification and Validation provides commands that allow you to retrieve
specific coverage information from the cvtest object after you have simulated your
model and recorded coverage. Use these commands to retrieve the specified coverage
information for a block, subsystem, or Stateflow chart in your model or for the model
itself:
• complexityinfo — Cyclomatic complexity coverage
• conditioninfo — Condition coverage
• decisioninfo — Decision coverage
• mcdcinfo — Modified condition/decision (MCDC) coverage
• overflowsaturationinfo — Saturate on integer overflow coverage
• relationalboundaryinfo — Relational boundary coverage
• sigrangeinfo — Signal range coverage
• sigsizeinfo — Signal size coverage
• tableinfo — Lookup Table block coverage
• getCoverageinfo — Coverage for Simulink Design Verifier blocks
The basic syntax of these functions is:
coverage = <coverage_type_prefix>info(cvdata_object, ...
object, ignore_descendants)
• coverage — Multipart vector containing the retrieved coverage results for object
• cvdata_object — cvdata object that you create when you call cvtest
• object — Handle to a model or object in the model
• ignore_descendants — Flag to ignore coverage results in subsystems, referenced
models, and Stateflow charts