Title :
Testing the completeness of specifications
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
fDate :
5/1/1989 12:00:00 AM
Abstract :
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
Keywords :
conformance testing; data structures; program testing; Unix; VAX system; abstract data types; axiomatic specifications; completeness testing; test cases; Computer science; Costs; Formal specifications; Software testing; System testing;
Journal_Title :
Software Engineering, IEEE Transactions on
