• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Eclat: Automatic generation and classification of test inputs (2005)

Cached

  • Download as a PDF

Download Links

  • [www.csail.mit.edu]
  • [www.lcs.mit.edu]
  • [publications.csail.mit.edu]
  • [bitsavers.informatik.uni-stuttgart.de]
  • [pag.csail.mit.edu]
  • [pag.lcs.mit.edu]
  • [people.csail.mit.edu]
  • [www.pag.csail.mit.edu]
  • [www.cs.washington.edu]
  • [homes.cs.washington.edu]
  • [www.eecs.northwestern.edu]
  • [homes.cs.washington.edu]
  • [www.eecs.northwestern.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Carlos Pacheco , Michael D. Ernst
Venue:In 19th European Conference Object-Oriented Programming
Citations:133 - 14 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Pacheco05eclat:automatic,
    author = {Carlos Pacheco and Michael D. Ernst},
    title = {Eclat: Automatic generation and classification of test inputs},
    booktitle = {In 19th European Conference Object-Oriented Programming},
    year = {2005},
    pages = {504--527}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Abstract. This paper describes a technique that selects, from a large set of test inputs, a small subset likely to reveal faults in the software under test. The technique takes a program or software component, plus a set of correct executions— say, from observations of the software running properly, or from an existing test suite that a user wishes to enhance. The technique first infers an operational model of the software’s operation. Then, inputs whose operational pattern of execution differs from the model in specific ways are suggestive of faults. These inputs are further reduced by selecting only one input per operational pattern. The result is a small portion of the original inputs, deemed by the technique as most likely to reveal faults. Thus, the technique can also be seen as an error-detection technique. The paper describes two additional techniques that complement test input selection. One is a technique for automatically producing an oracle (a set of assertions) for a test input from the operational model, thus transforming the test input into a test case. The other is a classification-guided test input generation technique that also makes use of operational models and patterns. When generating inputs, it filters out code sequences that are unlikely to contribute to legal inputs, improving the efficiency of its search for fault-revealing inputs. We have implemented these techniques in the Eclat tool, which generates unit tests for Java classes. Eclat’s input is a set of classes to test and an example program execution—say, a passing test suite. Eclat’s output is a set of JUnit test cases, each containing a potentially fault-revealing input and a set of assertions at least one of which fails. In our experiments, Eclat successfully generated inputs that exposed fault-revealing behavior; we have used Eclat to reveal real errors in programs. The inputs it selects as fault-revealing are an order of magnitude as likely to reveal a fault as all generated inputs. 1

Keyphrases

test input    automatic generation    operational model    operational pattern    fault-revealing input    execution differs    legal input    software operation    original input    java class    classification-guided test input generation technique    fault-revealing behavior    eclat output    specific way    test case    eclat input    error-detection technique    real error    test input selection    code sequence    junit test case    large set    example program execution    passing test suite    small subset    additional technique    test suite    software component    eclat tool    small portion    unit test    correct execution   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University