SmartDebug: an interactive debug assistant for Java

作者: Xinrui Guo

DOI: 10.1145/2950290.2983971

关键词:

摘要: Debugging has long been recognized as one of the most labour- and time- consuming activities in software development. Recent research on automated debugging tries to facilitate this process by automatically generating patches for buggy programs so that they pass a predefined test suite. Despite promising experimental results, several major obstacles emerge when we apply these techniques active coding process. Inadequate cases, multiple errors program possible bug categories overlooked existing fix generation search spaces impede perform at their best. To overcome obstacles, designed an interactive usage paradigm allows developer characterize his or her judgments running state utilize such information guide We implemented prototype design, Eclipse plugin called SmartDebug debug assistant Java programs. Experiment results show helped 15 out 25 successfully. All contain less than 3 cases. In 14 it accelerated compared pure human debugging, while which contains 2 statements. This indicates proposed is capable facilitating

参考文章(18)
Westley Weimer, Zachary P. Fry, Stephanie Forrest, Leveraging program equivalence for adaptive program repair: models and first results automated software engineering. pp. 356- 366 ,(2013) , 10.1109/ASE.2013.6693094
Satish Chandra, Abhik Roychoudhury, Dawei Qi, Hoang Duong Thien Nguyen, SemFix: program repair via semantic analysis international conference on software engineering. pp. 772- 781 ,(2013) , 10.5555/2486788.2486890
Jooyong Yi, Abhik Roychoudhury, Sergey Mechtaev, DirectFix: looking for simple program repairs international conference on software engineering. ,vol. 1, pp. 448- 458 ,(2015) , 10.5555/2818754.2818811
Fan Long, Martin Rinard, Staged program repair with condition synthesis foundations of software engineering. pp. 166- 178 ,(2015) , 10.1145/2786805.2786811
Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Chengsong Wang, The strength of random search on automated program repair international conference on software engineering. pp. 254- 265 ,(2014) , 10.1145/2568225.2568254
Jaechang Nam, Dongsun Kim, Sunghun Kim, Jaewoo Song, Automatic patch generation learned from human-written patches international conference on software engineering. pp. 802- 811 ,(2013) , 10.5555/2486788.2486893
Favio DeMarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus, Automatic repair of buggy if conditions and missing preconditions with SMT Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. pp. 30- 39 ,(2014) , 10.1145/2593735.2593740
Westley Weimer, Stephanie Forrest, Michael Dewey-Vogt, Claire Le Goues, A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each international conference on software engineering. pp. 3- 13 ,(2012) , 10.5555/2337223.2337225
Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer, GenProg: A Generic Method for Automatic Software Repair IEEE Transactions on Software Engineering. ,vol. 38, pp. 54- 72 ,(2012) , 10.1109/TSE.2011.104