Testing Formal Specifications to Detect Design Errors
- 1 January 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-11 (1) , 32-43
- https://doi.org/10.1109/tse.1985.231535
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.Keywords
This publication has 2 references indexed in Scilit:
- Abstract data types and software validationCommunications of the ACM, 1978
- Proof of correctness of data representationsActa Informatica, 1972