Motivation
System-Level Requirements-Based Testing:
- an essential task in systems development
- demonstration that every requirement has been implemented
- COMPASS ‘97
- Offutt - system level important to industry
Predominantly manual task
- light tool support, address bookkeeping only
- manual = people = expensive