A discipline of specification-based test derivation

System-level requirements-based testing is an important task in software development,providing evidence that each requirement has been satis#ed. There are twomajor problems with how these tests are derived. First, the notion of coverage issubjective, i.e., there is a lack of objective de#nitions of coverage criteria. Second,there is a surprising lack of automation in deriving system-level requirements-basedtests. Researchinto solutions for these problems has led to the formulation of the...