Manualshelf

User`s guide

ManualsBrandsMATLAB ManualsOtherSIMULINK VERIFICATION AND VALIDATION - S
11121314151617181920
xv
Model Coverage Analysis
Model Coverage Definition
15
Model Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15-2
Types of Model Coverage . . . . . . . . . . . . . . . . . . . . . . . . 15-3
Cyclomatic Complexity . . . . . . . . . . . . . . . . . . . . . . . . 15-3
Condition Coverage (CC) . . . . . . . . . . . . . . . . . . . . . . . 15-4
Decision Coverage (DC) . . . . . . . . . . . . . . . . . . . . . . . . 15-4
Lookup Table Coverage . . . . . . . . . . . . . . . . . . . . . . . . 15-4
Modified Condition/Decision Coverage (MCDC) . . . . . . 15-5
Relational Boundary Coverage . . . . . . . . . . . . . . . . . . 15-6
Saturate on Integer Overflow Coverage . . . . . . . . . . . . 15-8
Signal Range Coverage . . . . . . . . . . . . . . . . . . . . . . . . 15-8
Signal Size Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . 15-9
Simulink Design Verifier Coverage . . . . . . . . . . . . . . . 15-9
Simulink Optimizations and Model Coverage . . . . . . 15-11
Inline parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . 15-11
Block reduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15-11
Conditional input branch execution . . . . . . . . . . . . . . 15-12
Model Objects That Receive Model Coverage
16
Model Objects That Receive Coverage . . . . . . . . . . . . . 16-2
Abs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-7
Bias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-8
Combinatorial Logic . . . . . . . . . . . . . . . . . . . . . . . . . . 16-8
Compare to Constant . . . . . . . . . . . . . . . . . . . . . . . . . 16-9
Compare to Zero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-9
Data Type Conversion . . . . . . . . . . . . . . . . . . . . . . . . 16-10
Dead Zone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-10
Direct Lookup Table (n-D) . . . . . . . . . . . . . . . . . . . . . 16-11
Discrete Filter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-11