Specification and Testing of Abstract Data Types

  title={Specification and Testing of Abstract Data Types},
  author={Pankaj Jalote},
  journal={Comput. Lang.},
-Specifications are means to formally define the behavior of a software system or a module, and form the basis for testing an implementation. Axiomatic specification technique is one of the methods to formally specify an abstract data type (ADT). In this paper we describe a system called SITE, that is capable of automatically testing the completeness of an ADT specification. In addition, an implementation of the ADT, can also be tested, with SITE providing the test oracle and a number of… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS