Automatically identifying special and common unit tests for object-oriented programs

Tao Xie, David Notkin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Developers often create common tests and special tests, which exercise common behaviors and special behaviors of the class under test, respectively. Although manually created tests are valuable, developers often overlook some special or even common tests. We have developed a new approach for automatically identifying special and common unit tests for a class without requiring any specification. Given a class, we automatically generate test inputs and identify common and special tests among the generated tests. Developers can inspect these identified tests and use them to augment existing tests. Our approach is based on statistical algebraic abstractions, program properties (in the form of algebraic specifications) dynamically inferred based on a set of predefined abstraction templates. We use statistical algebraic abstractions to characterize program behaviors and identify special and common tests. Our initial experience has shown that a relatively small number of common and special tests can be identified among a large number of generated tests and these identified tests expose common and special behaviors that deserve developers' attention.

Original languageEnglish (US)
Title of host publicationProceedings - 16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005
Pages277-287
Number of pages11
DOIs
StatePublished - Dec 1 2005
Externally publishedYes
Event16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005 - Chicago, IL, United States
Duration: Nov 8 2005Nov 11 2005

Publication series

NameProceedings - International Symposium on Software Reliability Engineering, ISSRE
Volume2005
ISSN (Print)1071-9458

Other

Other16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005
CountryUnited States
CityChicago, IL
Period11/8/0511/11/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Automatically identifying special and common unit tests for object-oriented programs'. Together they form a unique fingerprint.

  • Cite this

    Xie, T., & Notkin, D. (2005). Automatically identifying special and common unit tests for object-oriented programs. In Proceedings - 16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005 (pp. 277-287). [1544742] (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; Vol. 2005). https://doi.org/10.1109/ISSRE.2005.12