Control Flow Testing - Software Engineering: Dependability

Control Flow TestingStatement Coverage• Statement coverage test demands the execution of all nodes of the control flowgraph, i.e., the corresponding program paths must contain all nodes of the controlflow graph• Test casecall of CountChars with: totalnumber = 0input chars: ’A’, ’1’path: (n start , n1, n2, n3, n4, n5, n2, n final )• Observation• The test path contains all nodes• but it does not contain all edges of the control flow graph. The edge (n3,n5) is not contained11Software Quality Assurance – Dynamic Test© Prof. Dr. Liggesmeyer