软件错误定位研究综述

摘要/Abstract

摘要： 错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用统计学或数据挖掘等方法找出可疑错误代码的集合来定位错误；重量级错误定位技术涉及程序依赖关系分析,主要分析数据依赖、控制依赖关系或使用程序切片等来识别可疑代码。然后,总结了常用的评测数据集和评测标准。最后,对错误定位的未来研究趋势进行了展望。

关键词: 错误定位,软件调试,软件缺陷,程序依赖关系中图法分类号TP311文献标识码A

Abstract: Fault localization is a hot research topic in software debugging,aiming at a rapid and efficient detection of software faults．First,the existing fault localization techniques were classified into two categories according to different research methods:light-weight and heavy-weight fault localization．And similar techniques were compared．The former does not involve the analysis of program dependencies,but it finds out the set of suspicious fault code using statistic or data mining methods based on the coverage information of program execution.The latter involves the analysis of program dependencies and mainly applies data-dependency or control-dependency or program slicing to identify suspicious code．Then,the commonly evaluation data sets and evaluation criteria were summarized．Finally,the trend of future study was discussed．

Key words: Fault localization,Software debugging,Software defect,Program dependency

曹鹤玲,姜淑娟,鞠小林. 软件错误定位研究综述[J]. 计算机科学, 2014, 41(2): 1-6. https://doi.org/

CAO He-ling,JIANG Shu-juan and JU Xiao-lin. Survey of Software Fault Localization[J]. Computer Science, 2014, 41(2): 1-6. https://doi.org/

参考文献

[1] Jones J A,Harrold M J．Empirical evaluation of the tarantula automatic fault-localization technique[C]∥Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering．New York,USA:ACM,2005:273-282
[2] Weiser M．Program slicing[J]．IEEE Transactions on Software Engineering,1984,10(5):498-509
[3] 虞凯,林梦香．自动化软件错误定位技术研究进展[J]．计算机学报,2011,34(8):1411-1422
[4] 鞠小林,姜淑娟,张艳梅,等.软件故障定位技术进展[J]．计算机科学与探索,2012,6(6):481-494
[5] Renieris M,Reiss S P．Fault localization with nearest neighbor queries[C]∥Proceedings of the 18th IEEE International Conference on Automated Software Engineering．USA:IEEE Computer Society,2003:30-39
[6] Jones J A,Harrold M J,Stasko J．Visualization of test information to assist fault localization[C]∥Proceedings of the 24th International Conference on Software Engineering．USA:ACM,2002:467-477
[7] Chen M Y,Kiciman E,Fratkin E,et al．Pinpoint:problem determi- nation in large,dynamic internet services[C]∥Proceedings of the 2002International Conference on Dependable Systems and Networks.USA:IEEE Computer Society,2002:595-604
[8] Abreu R,Zoeteweij P,van Gemund A J C．On the accuracy ofspectrum based fault localization[C]∥Proceedings of Testing:Academic and Industrial Conference,Practice and Research Techniques．Washington,DC,USA:IEEE Computer Society,2007:89-98
[9] Liu Chao,Yan Xi-feng,Fei Long,et al．SOBER:statistical model-based bug localization [J]．ACM SIGSOFT Software Engineering Notes,2005,30(5):286-295
[10] Wong W E,Wei Ting-ting,Qi Yu,et al．A crosstab-based statistical method for effective fault localization[C]∥Proceedings of the 1st International Conference on Software Testing,Verification,and Validation．Lillehammer,Washington,DC,USA:IEEE Computer Society,2008:42-51
[11] Wong W E,Debroy V,Xu Dian-xiang．Towards better fault localization:a crosstab-based statistical approach [J].IEEE Transactions on Systems,Man,and Cybernetics,Part C:Applications and Reviews,2012,42(3):378-396
[12] Liblit B,Naik M,Zheng AX,et al．Scalable statistical bug isolation [J]．ACM SIGPLAN Notices,2005,40(6):15-26
[13] Hong Li-na,Chen Rong．Statistical fault localization with re-duced program runs[J]．Artificial Intelligence Applications and Innovations IFIP Advances in Information and Communication Technology,2010,339:319-327
[14] Zhang Z,Chan W K,Tse T H．Fault localization based only on failed runs [J]．Computer,2012,45(6):64-71
[15] 惠战伟,黄松,嵇孟雨．基于程序特征谱整数溢出错误定位技术研究[J]．计算机学报,2012,35(10):2204-2214
[16] Wong W E,Debroy V,Li Y h,et al．Software fault localization using DStar (D*)[C]∥2012IEEE Sixth International Confe-rence on Software Security and Reliability．2012:21-30
[17] Qing X,Yu P,Wang L．An evaluation framework of coverage-based fault localization for object-oriented programs[J]．Trustworthy Computing and Services Communications in Computer and Information Science,2013,320:591-597
[18] Brun Y,Ernst M D.Finding latent code errors via machinelearning over program executions[C]∥Proceedings of the 26th International Conference on Software Engineering．2004:480-490
[19] Giuseppe D F,Stefan L,Evghenia S．Discriminative pattern mining in software fault detection[C]∥Proceedings of the Third International Workshop on Software Quality Assurance．2006:62-69
[20] Denmat T,Ducasse M,Ridoux O.Data mining and cross-chec-king of execution traces:a re-interpretation of Jones,Harrold and Stasko test information[C]∥Proceedings of the 20th International Conference on Automated Software Engineering．Long Beach,CA,2005:396-399
[21] Nessa S,Abedin M,Wong W E,et al．Software fault localization using n-gram analysis [C]∥Wireless Algorithms,Systems,and Applications Lecture Notes in Computer Science．2008:548-559
[22] Cellier P,Ducasse S,Ferre S,et al．Formal concept analysis enhances fault localization in software[C]∥Proceedings of the 4th International Conference on Formal Concept Analysis．Montréal,Canada,2008:273-288
[23] 易丹辉,董寒青.非参数统计:方法与应用[M]．中国统计出版社,2009:6-7
[24] Naish L,Lee H,Ramamohanarao K．A model for spectra-based software diagnosis [J]．ACM Transactions on Software Engineering and Methodology,2011,20(3):57-89
[25] Wong W E,Debroy V,Golden R,et al．Effective software fault localization using an RBF neural network[J]．IEEE Transactions on Reliability,2012,61(1):149-169
[26] Santelices R,Jones J A,Yu Yan-bing,et al．Lightweight fault- localization using multiple coverage types[C]∥Proceedings of the 31st International Conference on Software Engineering．Washington,DC,USA:IEEE Computer Society,2009:56-66
[27] Baah G K,Podgurski A,Harrold M J．The probabilistic program dependence graph and its application to fault diagnosis[J].IEEE Transactions on Software Engineering,2010,36(4):528-545
[28] Zhao Lei,Wang Li-na,Xiong Zuo-ting,et al．Execution-aware fault localization based on the control flow analysis[J]．Information Computing and Applications Lecture Notes in Computer Science,2010,6377:158-165
[29] Christ J,Ermis E,Schf M,et al．Flow-sensitive fault localization[J]．Verification,Model Checking,and Abstract Interpretation Lecture Notes in Computer Science,2013,7737:189-208
[30] 许高阳,李必信,孙小兵,等．一种基于层次切片的软件错误定位方法[J]．东南大学学报:自然科学版,2010,40(4):692-698
[31] Zhang X,He H,Gupta N,et al．Experimental evaluation of using dynamic slices for fault location[C]∥Proceedings of the 6th interna- tional symposium on Automated analysis-driven debugging．Monterey,California,USA,2005:33-42
[32] Zhang X,Gupta N,Guptaand R．Locating faulty code by multiple points slicing [J]．Software:Practice and Experience,2007,37:935-961
[33] Lei Yan,Mao Xiao-guang,Dai Zi-ying,et al．Effective fault localization approach using feedback[J]．IEICE Transactions on Information and Systems,2012,95(9):2247-2257
[34] Jiang Shu-juan,Li Wei,Li Hai-yang,et al．Fault localization for null pointer exception based on stack trace and program slicing [C]∥Proceedings of the 12th International Conference on Qua-lity Software．2012:9-12
[35] Liu C,Fei L,Yan X,et al．Statistical debugging:a hypothesis testing-based approach[J]．IEEE Transactions on Software Engineering,2006,32(10):831-848
[36] Artzi S,Dolby J,Tip F,et al．Fault localization for dynamic web applications[C]∥Proceedings of the 19th international symposium on Software testing and analysis．Trento,Italy,ACM,2012,38:314-335
[37] http://sir.unl.edu/portal/index.html
[38] http://sourceforge.net
[39] 张云乾,郑征,季晓慧,等.基于马尔可夫模型的软件错误定位方法[J]．计算机学报,2013,36(2):445-456
[40] 衷璐洁,霍玮,李丰,等．基于传播引擎的指针引用错误检测[J].计算机学报,2013,36(2):432-444
[41] Xie X Y,Chen T Y,Kuo F C,et al.A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization[J]．ACM Transactions on Software Engineering and Methodo-logy,2013
[42] Wong W E,Debroy V,Choi B．A family of code coverage-based heuri- stics for effective fault localization[J]．Journal of Systems and Software,2010,83(2):188-208
[43] 顾庆,唐宝,陈道蓄.一种面向测试需求部分覆盖的测试用例集约简技术[J]．计算机学报,2011,34(5):879-888
[44] Wen wan-zhi．Software fault localization based on program slicing Spectrum[C]∥Proceedings of the 2012International Con-ference on Software Engineering．2012:1511-1514

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed