DocumentCode
976752
Title
Testing the completeness of specifications
Author
Jalote, Pankaj
Author_Institution
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Volume
15
Issue
5
fYear
1989
fDate
5/1/1989 12:00:00 AM
Firstpage
526
Lastpage
531
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.24701
Filename
24701
Link To Document