User`s guide

Model Objects That Receive Coverage
16-7
Model Object Decision Condition MCDC Lookup
Table
Simulink
Design
Verifier
Saturate
on Integer
Overflow
Relational
Boundary
“Test Condition”
on page
16-28
     
“Test Objective”
on page
16-29
     
“Triggered
Models” on page
16-29
   
“Triggered
Subsystem” on
page 16-30
   
“Truth Table” on
page 16-31
   
“Unary Minus”
on page
16-31
     
“Weighted
Sample Time
Math” on page
16-31
     
“While Iterator,
While Iterator
Subsystem” on
page 16-31
     
Abs
The Abs block receives decision coverage. Decision coverage is based on:
• Input to the block being less than zero.
• Data type of the input signal.
For input to the block being less than zero, the decision coverage measures: