This Article 
 Bibliographic References 
 Add to: 
January 1985 (vol. 11 no. 1)
pp. 32-43
R.A. Kemmerer, Department of Computer Science, University of California
Formal specification and verification techniques are now apused to increase the reliability of software systems. However, these proaches sometimes result in specifying systems that cannot be realized or that are not usable. This paper demonstrates why it is necessary to test specifications early in the software life cycle to guarantee a system that meets its critical requirements and that also provides the desired functionality. Definitions to provide the framework for classifying the validity of a functional requirement with respect to a formal specification tion are also introduced. Finally, the design of two tools for testing formal specifications is discussed.
Index Terms:
testing, Design and development, formal verification, reliable software, requirements, specification
R.A. Kemmerer, "Testing Formal Specifications to Detect Design Errors," IEEE Transactions on Software Engineering, vol. 11, no. 1, pp. 32-43, Jan. 1985, doi:10.1109/TSE.1985.231535
Usage of this product signifies your acceptance of the Terms of Use.