User`s guide

xviii Contents
How to Collect Coverage for MATLAB Functions . . . . 18-22
Examples: Model Coverage for MATLAB Functions . . 18-23
Model Coverage for C and C++ S-Functions . . . . . . . . 18-37
Make S-Function Compatible with Model Coverage . . 18-37
Generate Coverage Report for S-Function . . . . . . . . . 18-38
View Coverage Results for C/C++ Code in S-Function
Blocks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-41
Model Coverage for Stateflow Charts . . . . . . . . . . . . . 18-45
How Model Coverage Reports Work for Stateflow
Charts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-45
Specify Coverage Report Settings . . . . . . . . . . . . . . . 18-46
Cyclomatic Complexity . . . . . . . . . . . . . . . . . . . . . . . 18-46
Decision Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-47
Condition Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . 18-50
MCDC Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-51
Relational Boundary Coverage . . . . . . . . . . . . . . . . . 18-51
Simulink Design Verifier Coverage . . . . . . . . . . . . . . 18-51
Model Coverage Reports for Stateflow Charts . . . . . . 18-53
Model Coverage for Stateflow State Transition Tables 18-62
Model Coverage for Stateflow Atomic Subcharts . . . . 18-63
Model Coverage for Stateflow Truth Tables . . . . . . . . 18-66
Colored Stateflow Chart Coverage Display . . . . . . . . 18-71
Results Review
19
Types of Coverage Reports . . . . . . . . . . . . . . . . . . . . . . . 19-2
Model Summary Report . . . . . . . . . . . . . . . . . . . . . . . 19-3
Model Reference Coverage Report . . . . . . . . . . . . . . . . 19-4
External MATLAB File Coverage Report . . . . . . . . . . . 19-5
Subsystem Coverage Report . . . . . . . . . . . . . . . . . . . . 19-9
Code Coverage Report . . . . . . . . . . . . . . . . . . . . . . . . 19-11
Top-Level Model Coverage Report . . . . . . . . . . . . . . . 19-12
Coverage Summary . . . . . . . . . . . . . . . . . . . . . . . . . . 19-12
Details . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-14
Cyclomatic Complexity . . . . . . . . . . . . . . . . . . . . . . . 19-22