This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Citation:
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.