Multicondition Coverage Instrumentation
With multicondition instrumentation, the same parts of the code are instrumented in general as with decision instrumentation. Additionally, assignments are instrumented.
Decisions in if
, while
, for
, do... while
statements are separated into their atomic conditions, if they contain && or || operators.
The right hand side of an assignment (=, +=, -=, ...) is considered as a decision in this sense if it contains && or ||.
The whole decision is instrumented as well as each atomic condition.