This paper describes a specification-based black-box technique for testing program units. The main contribution is the method that we have developed to derive test conditions, which are descriptions of test cases, from the formal specification of each program unit. The derived test conditions are used to guide test selection and to measure comprehensiveness of existing test suites. Our technique complements traditional code-based techniques such as statement coverage and statement coverage. It allows the tester to quickly develop a black-box test suite.
In particular, this paper presents techniques for deriving test conditions from specifications written in the Assertion Definition Language (ADL), a predicate logic-based language that is used to describe the relationships between inputs and outputs of a program unit. Our technique is fully automatable, and we are currently implementing a tool based on the techniques presented in this paper.
from Debra J. Richardson djr@ics.uci.edu Department of Information and Computer Science, University of California, Irvine CA 92717-3425