Path coverage

• Loops contribute to paths

• Simplest solution is to count multiple iterations as one branch

• 100% path coverage implies 100% branch coverage

• Synonyms: predicate, basis path and LCSAJ (Linear Code Sequence And Jump) coverage.