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 satisfied. There are two major problems with how these tests are derived. First, the notion of coverage is subjective, i.e., there is a lack of objective definit...

Full description

Bibliographic Details
Main Author: Donat, Michael R.
Language:English
Published: 2009
Online Access:http://hdl.handle.net/2429/8416