计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2014年
12期
2772-2787
,共16页
鞠小林%姜淑娟%陈翔%张艳梅%邵浩然
鞠小林%薑淑娟%陳翔%張豔梅%邵浩然
국소림%강숙연%진상%장염매%소호연
程序调试%错误定位%切片谱%怀疑度计算%错误诊断
程序調試%錯誤定位%切片譜%懷疑度計算%錯誤診斷
정서조시%착오정위%절편보%부의도계산%착오진단
program debugging%fault localization%slice spectrum%suspiciousness evaluation%fault diagnosis
错误定位是软件调试的重要环节,基于切片谱的统计错误定位技术,借助程序切片可以提高错误定位效率.而这类技术执行效果取决于构建切片谱的切片选择策略和怀疑度计算公式的选择.为评估不同的切片选择策略及怀疑度计算公式对错误定位效率的影响,提出一种基于切片谱的错误定位框架.该框架首先计算程序执行失败时的全切片和成功时的执行切片,随后提出一组基于相似度的切片挑选策略以构建切片谱,最后按照选定的公式计算怀疑度并生成定位报告.应用提出的错误定位框架,针对一组典型的Java基准程序开展错误定位实证研究.结果表明:最优怀疑度计算公式Wong,Russel&Rao和Binary的错误定位效率与切片选择策略无关,而提出的怀疑度计算公式HSS,Tarantula,DStar,Naish1和Naish2在低相似度切片谱上定位效果较好.
錯誤定位是軟件調試的重要環節,基于切片譜的統計錯誤定位技術,藉助程序切片可以提高錯誤定位效率.而這類技術執行效果取決于構建切片譜的切片選擇策略和懷疑度計算公式的選擇.為評估不同的切片選擇策略及懷疑度計算公式對錯誤定位效率的影響,提齣一種基于切片譜的錯誤定位框架.該框架首先計算程序執行失敗時的全切片和成功時的執行切片,隨後提齣一組基于相似度的切片挑選策略以構建切片譜,最後按照選定的公式計算懷疑度併生成定位報告.應用提齣的錯誤定位框架,針對一組典型的Java基準程序開展錯誤定位實證研究.結果錶明:最優懷疑度計算公式Wong,Russel&Rao和Binary的錯誤定位效率與切片選擇策略無關,而提齣的懷疑度計算公式HSS,Tarantula,DStar,Naish1和Naish2在低相似度切片譜上定位效果較好.
착오정위시연건조시적중요배절,기우절편보적통계착오정위기술,차조정서절편가이제고착오정위효솔.이저류기술집행효과취결우구건절편보적절편선택책략화부의도계산공식적선택.위평고불동적절편선택책략급부의도계산공식대착오정위효솔적영향,제출일충기우절편보적착오정위광가.해광가수선계산정서집행실패시적전절편화성공시적집행절편,수후제출일조기우상사도적절편도선책략이구건절편보,최후안조선정적공식계산부의도병생성정위보고.응용제출적착오정위광가,침대일조전형적Java기준정서개전착오정위실증연구.결과표명:최우부의도계산공식Wong,Russel&Rao화Binary적착오정위효솔여절편선택책략무관,이제출적부의도계산공식HSS,Tarantula,DStar,Naish1화Naish2재저상사도절편보상정위효과교호.