计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
11期
2236-2244
,共9页
贺韬%王欣明%周晓聪%李文军%张震宇%张成志
賀韜%王訢明%週曉聰%李文軍%張震宇%張成誌
하도%왕흔명%주효총%리문군%장진우%장성지
软件调试%错误定位%程序变异分析%软件工程
軟件調試%錯誤定位%程序變異分析%軟件工程
연건조시%착오정위%정서변이분석%연건공정
software debugging%fault localization%program mutation analysis%software engineering
发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26%的错误定位代价.
髮現軟件不能正常運行後,如何定位錯誤代碼在程序中的位置是軟件開髮一箇衆所週知的難點.最近許多軟件自動調試技術通過分析成功和失敗測試用例的覆蓋信息輔助程序員定位錯誤代碼,但這些技術的準確率會受到偶然性成功測試用例的影響.偶然性成功測試用例執行瞭錯誤代碼,但卻沒有引髮失敗的測試結果.研究錶明這種測試用例在實際測試中廣汎存在,而它們的存在會顯著降低錯誤定位的準確率.針對此問題,文中提齣一種稱為Muffler的技術.Muffler使用程序變異分析來脩正錯誤代碼定位結果,以提高定位的準確率.文中利用8箇在錯誤代碼定位研究領域廣汎使用的基準程序驗證瞭Muffler的有效性.實驗結果錶明,與傳統錯誤代碼定位技術相比,Muffler能減少程序員50.26%的錯誤定位代價.
발현연건불능정상운행후,여하정위착오대마재정서중적위치시연건개발일개음소주지적난점.최근허다연건자동조시기술통과분석성공화실패측시용례적복개신식보조정서원정위착오대마,단저사기술적준학솔회수도우연성성공측시용례적영향.우연성성공측시용례집행료착오대마,단각몰유인발실패적측시결과.연구표명저충측시용례재실제측시중엄범존재,이타문적존재회현저강저착오정위적준학솔.침대차문제,문중제출일충칭위Muffler적기술.Muffler사용정서변이분석래수정착오대마정위결과,이제고정위적준학솔.문중이용8개재착오대마정위연구영역엄범사용적기준정서험증료Muffler적유효성.실험결과표명,여전통착오대마정위기술상비,Muffler능감소정서원50.26%적착오정위대개.