However, two cases other than the above are possible in this source code; that is, a combination of THEN-A and ELSE-B and a combination of THEN-B and ELSE-A. If bugs exist in these combinations of statements, they cannot be detected by the source code coverage for conditional branches.