This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Combining Testing with Formal Specifications: A Case Study
May 1983 (vol. 9 no. 3)
pp. 328-335
P.R. McMullin, Applied Physics Laboratory, The Johns Hopkins University
This paper describes our experience specifying, implementing, and validating a record-oriented text editor similar to one discussed in [7]. Algebraic axioms served as the specification notation; and the implementation was tested with a compiler-based system that uses the axioms to test implementations with a finite collection of test cases. Formal specifications were sometimes difficult to produce, but helped reveal errors during unit testing. Thorough exercising of the implementations by the specifications resulted in few errors persisting until integration.
Index Terms:
testing, Data types, specification
Citation:
P.R. McMullin, J.D. Gannon, "Combining Testing with Formal Specifications: A Case Study," IEEE Transactions on Software Engineering, vol. 9, no. 3, pp. 328-335, May 1983, doi:10.1109/TSE.1983.236869
Usage of this product signifies your acceptance of the Terms of Use.