Program and its CFG

• if x > 0 then x := -x;endif

• The test set {x = 1} exercises all nodes (statements)

Previous slide

Next slide

Back to first slide

View graphic version