In Reactis Simulator, when Coverage -> Show Details is selected, unexercised coverage targets in EML code are reported visually as shown in Figure 17.3. Any unexecuted EML statement is rendered in red. If a decision has not evaluated to true it has a thin red overline. If a decision has not evaluated to false it has a thin red underline. If a condition has not evaluated to true it has a thick red overline. If a condition has not evaluated to false it has a thick red underline. If a decision has not met the MC/DC criteria, then the text of the decision is displayed in red. The MC/DC-related coverage details associated with a decision (Figure 17.4) may be displayed by right clicking on the decision and selecting View Coverage Details. For a description of this dialog, please see Chapter 6.

Figure 17.3: Coverage highlighting in EML code.

Lines containing unexercised targets are distinguished by a a thin red bar which is drawn just to the right of the line number of that line.

Figure 17.4: View the MC/DC-related coverage details associated with a decision by right-clicking on the decision and selecting View Coverage Details.