Types of white box testing

Basic path testing (a white-box testing technique):
- First proposed by Tom Mc Cabe.
- Can be used to derive a logical complexity measure for a procedure design.
- Used as a guide for defining a basis set of execution path.
- Guarantee to execute every statement in the program at least one time.

Branch Testing:
Exercise predicate nodes of a program flow graph to make sure that each predicate node has been exercised at least once.

Loop Testing:
Exercise loops of a program to make sure that the inside and outside of loop body are executed.

State-Based Testing:
Basic idea is to use a finite state machine as a test model to check the state behaviors of a program process.