Case studies on testing object-oriented programs

Roong Ko Doong, Phyllis G. Frankl

    Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
    Title of host publicationProceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991
    PublisherAssociation for Computing Machinery, Inc
    Pages165-177
    Number of pages13
    ISBN (Electronic)089791449X, 9780897914499
    DOIs
    StatePublished - Oct 1 1991
    Event4th Symposium on Testing, Analysis, and Verification, TAV 1991 - Victoria, Canada
    Duration: Oct 8 1991Oct 10 1991

    Publication series

    NameProceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991

    Other

    Other4th Symposium on Testing, Analysis, and Verification, TAV 1991
    CountryCanada
    CityVictoria
    Period10/8/9110/10/91

    ASJC Scopus subject areas

    • Software
    • Computer Networks and Communications

    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