Skip to main content

Description of the method

Task 1

section 9.3.1, part 1. Translate the below text and delete the picture

image.png

Task 2

section 9.3.1, part 2. Translate the below text and delete the picture

image.png

Task 3

section 9.3.1, part 3. Translate the below text and delete the picture

image.png

Task 4

Decision Cover – results of results that have been developed by the test set. 100% decision coverage implies 100% transformation coverage

Test conditions -> CFG vertices representing decisions
Coverage elements -> CFG edges of the decision result
Coverage criterion -> critical decision resolution once confirmed meaning of true coverage and once false value
Coverage → p = number of CFG decision edges covered by tests / number of all CFG decision edges * 100%

(In the case of CFG with 1 block 0% or 100% as a result of application of the instruction)