State-based: defines a set of abstract states that a software unit (object) can take and tests the unit’s behavior by comparing its actual states to the expected states
Integration: Ensures that all components work together.
Control Based:
- Statement coverage: Each statement executed at least once by some
test case
- Edge coverage: Every edge (branch) of the control flow is traversed
at least once by some test case
- Condition coverage: Every condition takes TRUE and FALSE outcomes at
least once in some test case
- Path coverage: Finds the number of distinct paths through the program
to be traversed at least once
