计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2014年
3期
500-511
,共12页
郝鹏%郑征%张震宇%高乙超%宫成%薛云志
郝鵬%鄭徵%張震宇%高乙超%宮成%薛雲誌
학붕%정정%장진우%고을초%궁성%설운지
统计学缺陷定位%谓词执行信息%自适应%软件测试%程序分析
統計學缺陷定位%謂詞執行信息%自適應%軟件測試%程序分析
통계학결함정위%위사집행신식%자괄응%연건측시%정서분석
statistical fault localization%predicate execution information%self-adaptive%software testing%program analysis
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.
查找程序中缺陷代碼所在的位置是一項值得深入開展的研究,同時也是實際軟件調試過程中所麵臨的一箇難題,這一過程往往需要耗費大量的時間和人力資源.研究軟件缺陷定位的一類重要方法是基于謂詞的統計學缺陷定位方法(簡稱PBSFL).PBSFL通過比較程序運行成功與失敗時謂詞的執行信息差異來穫得謂詞與缺陷的關聯程度.然而實驗研究髮現,固定算法中信息利用的彊度會造成信息利用不足或過分利用現象的髮生,導緻現有PBSFL方法對某些缺陷定位不夠準確.針對這一問題,文中設計瞭一種基于謂詞執行信息分析的自適應缺陷定位算法,該算法通過分析測試用例運行時謂詞的執行情況來動態地為每箇謂詞選擇閤適的信息利用彊度.實驗結果錶明,該方法在Siemens和space兩箇程序包上錶現齣很好的定位效果以及定位穩定性.
사조정서중결함대마소재적위치시일항치득심입개전적연구,동시야시실제연건조시과정중소면림적일개난제,저일과정왕왕수요모비대량적시간화인력자원.연구연건결함정위적일류중요방법시기우위사적통계학결함정위방법(간칭PBSFL).PBSFL통과비교정서운행성공여실패시위사적집행신식차이래획득위사여결함적관련정도.연이실험연구발현,고정산법중신식이용적강도회조성신식이용불족혹과분이용현상적발생,도치현유PBSFL방법대모사결함정위불구준학.침대저일문제,문중설계료일충기우위사집행신식분석적자괄응결함정위산법,해산법통과분석측시용례운행시위사적집행정황래동태지위매개위사선택합괄적신식이용강도.실험결과표명,해방법재Siemens화space량개정서포상표현출흔호적정위효과이급정위은정성.