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.
Exercise predicate nodes of a program flow graph to make sure that each predicate node has been exercised at least once.
Exercise loops of a program to make sure that the inside and outside of loop body are executed.
Basic idea is to use a finite state machine as a test model to check the state behaviors of a program process.