Edge coverage
To eliminate the obvious problems with statement coverage, one can require that all edges of the program’s CFG be exercised
- Now a test set like {x = 1, x = -1} is needed
Edge coverage is always at least as good as statement coverage
- That is, any test set that satisfies edge coverage for a program will also satisfy statement coverage