Case studies on testing object-oriented programs
- 1 October 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 165-177
- https://doi.org/10.1145/120807.120822
Abstract
This paper describes a new approach to testing object- oriented programs, a set of tools based on this approach, and two case studies. Test cases consist of pairs of sequences of methods, along with a tag indicating whether those se- quences should put objects of the class under test into the same abstract state, Experimental prototypes of tools for test generation and test execution are described. The test generation tool requires the availability of an algebraic spec- ification of the abstract data type being tested, but the test execution tool can be used when no formal specification is available. Case studies involving execution of a large num- ber of test cases, with various sequence lengths, parameters, and combinations of operations were performed.Keywords
This publication has 9 references indexed in Scilit:
- Testing the completeness of specificationsIEEE Transactions on Software Engineering, 1989
- Module test case generationPublished by Association for Computing Machinery (ACM) ,1989
- Trace specifications: methodology and modelsIEEE Transactions on Software Engineering, 1988
- Theory of ModulesIEEE Transactions on Software Engineering, 1987
- The Larch Family of Specification LanguagesIEEE Software, 1985
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Some extensions to algebraic specificationsPublished by Association for Computing Machinery (ACM) ,1977
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975