p3

White Box Testing

White box testing or directed takes the structure of the program into consideration

Testing under coverage criteria (see figure)

Statement coverage (S) - Every statement of the code is covered
Branch coverage (B) - Every branch out of a decision point is to be taken at least once
Condition coverage (C) - Condition (eg. (D ^ E)) must be tried with both TRUE and FALSE
Multiple Condition Coverage (MC) - Like C except that truth values needed to be assigned to both D and E (so 4 combinations)
Path Coverage (P) - Every path from entry to exit must be traversed