Publication | Closed Access
Using automated program repair for evaluating the effectiveness of fault localization techniques
96
Citations
35
References
2013
Year
Unknown Venue
Software MaintenanceEngineeringVerificationSoftware EngineeringLocalization TechniqueSoftware AnalysisFormal VerificationReliability EngineeringFault AnalysisSystems EngineeringFault RecoveryFuzzingAfl TechniquesFailure DetectionComputer ScienceDebuggerStatic Program AnalysisAutomated RepairSoftware DesignProgram RepairFault Localization TechniquesProgram AnalysisSoftware TestingFormal MethodsAutomated Fault LocalizationFault Injection
Many techniques on automated fault localization (AFL) have been introduced to assist developers in debugging. Prior studies evaluate the localization technique from the viewpoint of developers: measuring how many benefits that developers can obtain from the localization technique used when debugging. However, these evaluation approaches are not always suitable, because it is difficult to quantify precisely the benefits due to the complex debugging behaviors of developers. In addition, recent user studies have presented that developers working with AFL do not correct the defects more efficiently than ones working with only traditional debugging techniques such as breakpoints, even when the effectiveness of AFL is artificially improved. In this paper we attempt to propose a new research direction of developing AFL techniques from the viewpoint of fully automated debugging including the program repair of automation, for which the activity of AFL is necessary. We also introduce the NCP score as the evaluation measurement to assess and compare various techniques from this perspective. Our experiment on 15 popular AFL techniques with 11 subject programs shipping with real-life field failures presents the evidence that these AFL techniques performing well in prior studies do not have better localization effectiveness according to NCP score. We also observe that Jaccard has the better performance over other techniques in our experiment.
| Year | Citations | |
|---|---|---|
Page 1
Page 1