Static and dynamic verification
-------------------------------------------------
Software inspections Concerned with analysis of
the static system representation to discover problems (static verification)
- May be supplement by tool-based document and code analysis
Software testing Concerned with exercising and
observing product behaviour (dynamic verification)
- The system is executed with test data and its operational behaviour is observed
|