CSDL Home A ASE 2006 Proceedings. 21st IEEE International Conference on Automated Software Engineering
Sept. 18, 2006 to Sept. 22, 2006
Ajitha Rajan , University of Minnesota
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.31
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal structure of the implementation. In current practice, the adequacy of black-box test suites is inferred by examining coverage on an executable artifact, either source code or a software model. We propose the notion of defining structural coverage metrics directly on high-level formal software requirements. These metrics provide objective, implementation-independent measures of how well a black-box test suite exercises a set of requirements. We focus on structural coverage criteria on requirements formalized as Linear Temporal Logic (LTL) properties and explore how they can be adapted to measure finite test cases. These criteria can also be used to automatically generate a requirements-based test suite. Unlike model or codederived test cases, these tests are immediately traceable to high-level requirements.
Ajitha Rajan, "Coverage Metrics to Measure Adequacy of Black-Box Test Suites", ASE, 2006, Proceedings. 21st IEEE International Conference on Automated Software Engineering, Proceedings. 21st IEEE International Conference on Automated Software Engineering 2006, pp. 335-338, doi:10.1109/ASE.2006.31