4.3.2 Branch Testing and Branch Coverage

Question 1

A branch is a transfer of “ “ between … in the con… which shows the possible “ “ in which sou… are executed in the …

Answer 1

control
two nodes
control flow graph
sequences
source code statements
test object.

Question 2

Each transfer of control can be either:
- unc…
- con…

Answer 2

• unconditional (ie straight-line code)
• conditional (ie a decision outcome)

Question 3

In branch testing, the coverage items are “ “ the aim is to design … to exercise b… until an acceptable level of c…

Answer 3

branches
test cases
branches in the code
coverage is achieved

Question 4

Branch coverage is measured as the number of branches exercised by the … / by the total number of “ “ and is expressed as a “ “.

Answer 4

test cases
branches
%

Question 5

When 100% branch coverage is achieved all b… “un… “ and “ “, are exercised by …

Answer 5

branches in the code,
unconditional
conditional,
test cases.

Question 6

Conditional branches typically correspond to:
- a true or … from an i…
- an outcome from a s…
- a decision to exit or c…

Answer 6

• false outcome
  if…then decision
• switch/case statement
• or continue a loop

Question 7

However, exercising a branch with a test case will not d…

Ex. May not detect defects requiring the execution of a s…

Answer 7

detect defects in all cases.

specific path in a code.

Question 8

Branch coverage subsumes…

Answer 8

statement coverage.

Question 9

Any set of test cases achieving 100% branch coverage also …

Answer 9

achieves 100% statement coverage (but not vice versa).