arXiv Analytics

Sign in

arXiv:1703.00198 [cs.SE]AbstractReferencesReviewsResources

Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness

Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus

Published 2017-03-01Version 1

Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair. Test-suites are in essence input-output specifications and are therefore typically inadequate for completely specifying the expected behavior of the program under repair. Consequently, the patches generated by test suite based program repair techniques pass the test suite, yet may be incorrect. Patches that are overly specific to the used test suite and fail to generalize to other test cases are called overfitting patches. In this paper, we investigate the feasibility and effectiveness of test case generation in alleviating the overfitting issue. We propose two approaches for using test case generation to improve test suite based repair, and perform an extensive evaluation of the effectiveness of the proposed approaches in enabling better test suite based repair on 224 bugs of the Defects4J repository. The results indicate that test case generation can change the resulting patch, but is not effective at turning incorrect patches into correct ones. We identify the problems related with the ineffectiveness, and anticipate that our results and findings will lead to future research to build test-case generation techniques that are tailored to automatic repair systems.

Related articles: Most relevant | Search more
arXiv:1202.4527 [cs.SE] (Published 2012-02-21)
Study Paper on Test Case generation for GUI Based Testing
arXiv:1002.2197 [cs.SE] (Published 2010-02-10)
Test Case Generation using Mutation Operators and Fault Classification
arXiv:1612.08813 [cs.SE] (Published 2016-12-28)
Optimization of Test Case Generation using Genetic Algorithm (GA)