WBJECA 2025 — Computer PYQ

Explanation:

In white-box testing, coverage metrics help determine how much of the source code has been exercised by the test suite.

• Condition Coverage (Predicate Coverage): This specifically focuses on ensuring that each individual logical condition within a decision (e.g., in an if statement like if (A || B)) is evaluated to both true and false at least once.

To illustrate the difference, consider a simple decision: if (A || B).

• Branch Coverage would ensure the entire if statement evaluates to both true and false.

• Condition Coverage requires that:

  1. Condition $A$ is tested as $\{True,False\}$

  2. Condition $B$ is tested as $\{True,False\}$

Mathematically, we can represent the relationship of these metrics based on their strictness:

$$\text{Path Coverage}⟹\text{Branch Coverage}⟹\text{Statement Coverage}$$

And specifically for the logical conditions:

$$\text{Condition Coverage}⟹\text{Individual sub-expression evaluation}\in \{True,False\}$$

By verifying each sub-condition, Condition Coverage provides a higher level of detail regarding the internal logic compared to just checking the overall branch outcome.