Title :
Efficient automatic program repair using function-based part-execution
Author :
Yuhua Qi ; Xiaoguang Mao ; Ziying Dai ; Yudong Qi
Author_Institution :
Sch. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Abstract :
As an emerging paradigm for automated debugging on software system, automatic program repair plays a more and more important role on computer development. Currently, although there are lots of approaches for automatically repairing errors, they do not work very well due to time-consuming validation especially when the faulty programs equip with some long-running test cases. To suppress the testing cost, we present the technique of function-based part-execution (FPE), by which only the key code, instead of the whole patched program, is executed. In addition, the invariant detection technique is applied to predict imminent program failure with incomplete execution. The controlled experiment on real bug in the PHP program show that our approach performs much better than the original Genprog, a state-of-the-art approach on automatic program repair.
Keywords :
automatic test pattern generation; program debugging; program testing; program verification; software maintenance; FPE; Genprog; PHP program; automated debugging; automatic program repair; computer development; faulty programs; function-based part-execution; imminent program failure; software system; testing cost; time-consuming validation; whole patched program; invariant; program repair; validation;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2013 4th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-4997-0
DOI :
10.1109/ICSESS.2013.6615295