User`s guide

18 Coverage Collection During Simulation
18-30
brings the total true occurrences for the decision to three, as reported in the Decisions
analyzed table.
MCDC coverage looks for decision reversals that occur because one condition outcome
changes from T to F or from F to T. The MC/DC analysis table identifies all possible
combinations of outcomes for the conditions that lead to a reversal in the decision. The
character x is used to indicate a condition outcome that is irrelevant to the decision
reversal. Decision-reversing condition outcomes that are not achieved during simulation
are marked with a set of parentheses. There are no parentheses, therefore all decision-
reversing outcomes occurred and MCDC coverage is complete for the decision in line 27.
Coverage for Line 30
The line 30 decision, if (right1 < left2 || right2 < left1), is nested in the if
statement of the line 27 decision and is evaluated only if the line 27 decision is false.