Statement coverage
The simplest notion of coverage is to ensure that all (as many as possible) statements are exercised
Problem: what’s a statement?
- Solution: represent program as a control flow graph and ensure all statement nodes are executed
Problem:
- if x > y then max := x else max := y