Issue No. 05 - May (1989 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.24701
<p>A system is described that tests for the completeness of axiomatic specifications of abstract data types. For testing, the system generates a set of test cases and an implementation of the data type from the specifications. The generated implementation is such that if the specifications are not complete, the implementation is not complete, and the behavior of all of the sequences of valid operations on the data type is not defined. This implementation is tested with the generated test cases to detect the incompleteness of specifications. The system is implemented on a VAX system running Unix.</p>
completeness testing; axiomatic specifications; abstract data types; test cases; VAX system; Unix; conformance testing; data structures; program testing.
P. Jalote, "Testing the Completeness of Specifications", IEEE Transactions on Software Engineering, vol. 15, no. , pp. 526-531, May 1989, doi:10.1109/32.24701