Manualshelf

User`s guide

ManualsBrandsMATLAB ManualsOtherSIMULINK VERIFICATION AND VALIDATION - S
11121314151617181920
xix
Decisions Analyzed . . . . . . . . . . . . . . . . . . . . . . . . . . 19-24
Conditions Analyzed . . . . . . . . . . . . . . . . . . . . . . . . . 19-25
MCDC Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-26
Cumulative Coverage . . . . . . . . . . . . . . . . . . . . . . . . 19-27
N-Dimensional Lookup Table . . . . . . . . . . . . . . . . . . 19-30
Block Reduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-36
Relational Boundary . . . . . . . . . . . . . . . . . . . . . . . . . 19-37
Saturate on Integer Overflow Analysis . . . . . . . . . . . 19-41
Signal Range Analysis . . . . . . . . . . . . . . . . . . . . . . . . 19-42
Signal Size Coverage for Variable-Dimension Signals 19-44
Simulink Design Verifier Coverage . . . . . . . . . . . . . . 19-45
Export Model Coverage Web View . . . . . . . . . . . . . . . . 19-47
Excluding Model Objects From Coverage
20
Coverage Filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-2
What Is Coverage Filtering? . . . . . . . . . . . . . . . . . . . . 20-2
When to Use Coverage Filtering . . . . . . . . . . . . . . . . . 20-2
Coverage Filter Rules and Files . . . . . . . . . . . . . . . . . . 20-3
What Is a Coverage Filter Rule? . . . . . . . . . . . . . . . . . 20-3
What Is a Coverage Filter File? . . . . . . . . . . . . . . . . . 20-3
Model Objects to Filter from Coverage . . . . . . . . . . . . . 20-4
Create, Edit, and View Coverage Filter Rules . . . . . . . 20-5
Create and Edit Coverage Filter Rules . . . . . . . . . . . . 20-5
Save Coverage Filter to File . . . . . . . . . . . . . . . . . . . . 20-8
Attach Coverage Filter File to Model . . . . . . . . . . . . . . 20-8
View Coverage Filter Rules in Your Model . . . . . . . . . 20-8
Remove Coverage Filter Rules . . . . . . . . . . . . . . . . . . 20-9
Coverage Filter Viewer . . . . . . . . . . . . . . . . . . . . . . . . . 20-10
Filter Model Objects to Refine Coverage Results . . . . 20-12
About the Example Model . . . . . . . . . . . . . . . . . . . . . 20-12
Simulate Example Model and Review Coverage . . . . . 20-12
Filter a Stateflow Transition . . . . . . . . . . . . . . . . . . . 20-13