Abstract
Recently many formal methods, such as the SCR (Software Cost Reduction) requirements method, have been proposed for improving
the quality of software specifications. Although improved specifications are valuable, the ultimate objective of software
development is to produce software that satisfies its requirements. To evaluate the correctness of a software implementation,
one can apply black-box testing to determine whether the implementation, given a sequence of system inputs, produces the correct
system outputs. This paper describes a specification-based method for constructing a suite of "test sequences",
[read the copyright and download the pdf file] [DOI]