Description of the method

Task 1 

 The Textbook, section 9.2.1, paragraph 1, including the frame [branch] 

 Task 2 

 The Textbook, section 9.2.1, from the frame [branch testing] up to the frame [branch coverage]

Branch testing – a white-box testing technique where specific cases are designed for testing, to which the cases designed for the entire branch execution, within the TMap [28] branch testing methodology, are referred to as the algorithm test.

The conditions for testing are the constraints that ensure proper ordering between the condition blocks. These include the CFG (Control Flow Graph) elements covering the same conditions in the test. If the program has no branches, the condition blocks cover the code instructions.

Table 9.3 summarizes the branch testing method.

Branch coverage – the percentage of tested branches. 100% branch coverage implies 100% instruction coverage.

 Task 3 

 Table 9.3