TY - GEN
T1 - Case studies on testing object-oriented programs
AU - Doong, Roong Ko
AU - Frankl, Phyllis G.
N1 - Publisher Copyright:
© 1991 ACM.
PY - 1991/10/1
Y1 - 1991/10/1
N2 - 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 sequences 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 specification 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 number of test cases, with various sequence lengths, parameters, and combinations of operations were performed.
AB - 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 sequences 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 specification 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 number of test cases, with various sequence lengths, parameters, and combinations of operations were performed.
UR - http://www.scopus.com/inward/record.url?scp=0002606756&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0002606756&partnerID=8YFLogxK
U2 - 10.1145/120807.120822
DO - 10.1145/120807.120822
M3 - Conference contribution
AN - SCOPUS:0002606756
T3 - Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991
SP - 165
EP - 177
BT - Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991
PB - Association for Computing Machinery, Inc
T2 - 4th Symposium on Testing, Analysis, and Verification, TAV 1991
Y2 - 8 October 1991 through 10 October 1991
ER -