The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1985 vol.11)
pp: 32-43
R.A. Kemmerer , Department of Computer Science, University of California
ABSTRACT
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, January 1985, doi:10.1109/TSE.1985.231535
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool