White-Box Testing
© Laurie Williams 2006 67
address test (c==d) as true: foo(1, 2, 1, 1, 1), expected return value 1. However, when we
actually run the test case, the function bug(a) actually returns false, which causes our actual
return value (division by zero) to not match our expected return value. This allows us to
detect an error in the bug method. Without the addition of condition coverage, this error
would not have been revealed