Case studies on testing object-oriented programs

Roong Ko Doong; Phyllis G. Frankl

doi:10.1145/120807.120822

Case studies on testing object-oriented programs

Roong Ko Doong, Phyllis G. Frankl

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 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.

Original language	English (US)
Title of host publication	Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991
Publisher	Association for Computing Machinery, Inc
Pages	165-177
Number of pages	13
ISBN (Electronic)	089791449X, 9780897914499
DOIs	https://doi.org/10.1145/120807.120822
State	Published - Oct 1 1991
Event	4th Symposium on Testing, Analysis, and Verification, TAV 1991 - Victoria, Canada Duration: Oct 8 1991 → Oct 10 1991

Publication series

Name	Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991

Other

Other	4th Symposium on Testing, Analysis, and Verification, TAV 1991
Country	Canada
City	Victoria
Period	10/8/91 → 10/10/91

ASJC Scopus subject areas

Software
Computer Networks and Communications

Access to Document

10.1145/120807.120822

Fingerprint Dive into the research topics of 'Case studies on testing object-oriented programs'. Together they form a unique fingerprint.

Cite this

Doong, R. K., & Frankl, P. G. (1991). Case studies on testing object-oriented programs. In Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991 (pp. 165-177). (Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991). Association for Computing Machinery, Inc. https://doi.org/10.1145/120807.120822

Case studies on testing object-oriented programs. / Doong, Roong Ko; Frankl, Phyllis G.

Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991. Association for Computing Machinery, Inc, 1991. p. 165-177 (Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Doong, RK & Frankl, PG 1991, Case studies on testing object-oriented programs. in Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991. Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991, Association for Computing Machinery, Inc, pp. 165-177, 4th Symposium on Testing, Analysis, and Verification, TAV 1991, Victoria, Canada, 10/8/91. https://doi.org/10.1145/120807.120822

@inproceedings{48e1e57185a04289b56e9f2662149251,

title = "Case studies on testing object-oriented programs",

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 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.",

author = "Doong, {Roong Ko} and Frankl, {Phyllis G.}",

year = "1991",

month = oct,

day = "1",

doi = "10.1145/120807.120822",

language = "English (US)",

series = "Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991",

publisher = "Association for Computing Machinery, Inc",

pages = "165--177",

booktitle = "Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991",

note = "4th Symposium on Testing, Analysis, and Verification, TAV 1991 ; Conference date: 08-10-1991 Through 10-10-1991",

}

TY - GEN

T1 - Case studies on testing object-oriented programs

AU - Doong, Roong Ko

AU - Frankl, Phyllis G.

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 -