User`s guide

18 Coverage Collection During Simulation
18-50
State with On Event_Name Action Statement Decision
A state that has an on event_name action statement must decide whether to execute
that statement based on the reception of a specified event or on an accumulation of the
specified event when using temporal logic operators.
Conditional Transition Decision
A conditional transition is a transition with a triggering event and/or a guarding
condition. In a conditional transition from one state to another, the decision to exit one
state and enter another is credited to the transition itself.
Note: Only conditional transitions receive decision coverage. Transitions without
decisions are not applicable to decision coverage.
Condition Coverage
Condition coverage reports on the extent to which all possible outcomes are achieved for
individual subconditions composing a transition decision.
Note: Full condition coverage means that all possible outcomes occurred for each
subcondition in the test of a decision.
For example, for the decision [A & B & C] on a transition, condition coverage reports on
the true and false occurrences of each of the subconditions A, B, and C. This results in
eight possible outcomes: true and false for each of three subconditions.
Outcome A B C
1 T T T
2 T T F
3 T F T
4 T F F
5 F T T
6 F T F
7 F F T