期刊文献+

基于马尔可夫模型的软件错误定位方法 被引量:8

Markov Model-Based Effectiveness Predicting for Software Fault Localization
在线阅读 下载PDF
导出
摘要 软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普遍有效的技术.文中从单元测试的特性出发,探讨预测错误类型的可行性,并采用马尔可夫过程对错误类型进行预测,从错误定位技术备选集中选择适合的技术来实施.实验表明文中方法能够更快地定位程序错误. Debugging is a necessary phase in software development. Statistical fault localization techniques estimate fault locations by analyzing dynamic program spectra. They build different heuristic analytical models for different program spectra to describe the program behavior. Previ- ous studies show that their effectiveness is related to the target faults and program types; and there is no universally effective technique. By evaluating the feasibility of predicting fault class in a unit test process, this paper employs a Markov model to select a proper such technique to apply, from a candidate set. Empirical study shows it is more effective to locate faults.
出处 《计算机学报》 EI CSCD 北大核心 2013年第2期445-456,共12页 Chinese Journal of Computers
基金 国家自然科学基金项目"持续集成中的回归测试和错误定位"(61003027)资助~~
关键词 软件错误定位 软件错误类型 错误类型预测 马尔可夫模型 software fault localization fault classification fault class prediction Markov model
  • 相关文献

参考文献23

  • 1虞凯,林梦香.自动化软件错误定位技术研究进展[J].计算机学报,2011,34(8):1411-1422. 被引量:46
  • 2鞠小林,姜淑娟,张艳梅,董国伟.软件故障定位技术进展[J].计算机科学与探索,2012,6(6):481-494. 被引量:23
  • 3Jones J A, Harrold M J, Stasko J. Visualization of test in- formation to assist fault loealization//Proceedings of the 24th International Conference on Software Engineering (ICSE 2002). Orlando, Florida, USA, 2002: 467 477.
  • 4Wong W E, Iebroy V, Choi B. A {amily oI code coverage- based heuristics for effective fault localization. Journal of Systems and Software, 2010, 83(2) : 188-208.
  • 5Arumuga Nainar P, Chen T, Rosin J, Liblit B. Statistical debugging using compound boolean predieates//Proeeedings of the 2007 International Symposium on Software Testing and Analysis (ISSTA 2007). London, England, 2007:5-15.
  • 6Liu C, Fei L, Yan X, Midkiff S P, Han J. Statistical debug ging: A hypothesis testing based approach. IEEE Transac tions on Software Engineering, 2006, 32(10): 831-848.
  • 7Wang X, Cheung S C, Chan W K, Zhang Z. Taming coinci- dental correctness: Coverage refinement with context pat terns to improve fault localization/ /Proceedings of the 31st International Conference on Software Engineering (ICSE 2009). Vancouver, Canada, 2009:45-55.
  • 8Yu Y, Jones J A, Harrold M J. An empirical study of the effects of test-suite reduction on fault localization//Proceed- ings of the 30th International Conference on Software Engi- neering (ICSE 2008). Leipzig, Germany, 2008:201-210.
  • 9Zhang Z, Chan W K, Tse T H. Fault localization based only on failed runs. IEEE Computer, 2012, 45(6): 64-71.
  • 10Santelices R, Jones J A, Yu Y, Harrold M J. Lightweight fault-localization using multiple coverage types//Proceedings of the 31st International Conference on Software Engineering (ICSE 2009). Washington, DC, USA, 2009:56-66.

二级参考文献90

  • 1徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:39
  • 2Chen Z,Xu B,Nie C.A detectability analysis of fault classes for Boolean specifications//Proceedings of the 2008 ACM Symposium on Applied Computing.Fortaleza,Ceara,Brazil,2008:826-830.
  • 3Zhang X,Xu B,Chen Z,Nie C,Li L.An empirical evaluation of test suite reduction for Boolean specification-based testing//Proceedings of the 2008 the 8th International Conference on Quality Software.Oxford,UK,2008:270-275.
  • 4Chen Z,Chen T Y,Xu B.A revisit of fault class hierarchies in general Boolean specifications.ACM Transactions on Software Engineering and Methodology,accepted,to appear.
  • 5Nie Changhai,Leung Hareton.The minimal failure-causing schema of combinatorial testing.ACM Transactions on Software Engineering and Methodology,accepted,to appear.
  • 6Nie Changhai,Leung H K N,Xu Baowen.A survey of combinatorial testing.ACM Computing Survey,accepted,to appear.
  • 7Harrold M J,Rothermel G,Wu R,Yi L.An empirical investigation of program spectra//Proceedings of the ACM SIGPLAN/SIGSOFT Workshop Program Analysis for Software Tools and Eng (PASTE'98).Montreal,Quebec,Canada,1998:83-90.
  • 8Renieris M,Reiss S P.Fault localization with nearest neighbor queries//Proceedings of the 18th IEEE International Conference on Automated Software Engineering.Montreal,Canada,2003:30-39.
  • 9Jones J A,Harrold M J,Stasko J.Visualization of test information to assist fault localization//Proceedings of the 24th International Conference on Software Engineering.Orlando,FL,USA,2002:467-477.
  • 10Jones J A,Harrold M J.Empirical evaluation of the Tarantula automatic fault-localization technique//Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering.Long Beach,CA,USA,2005:273-282.

共引文献69

同被引文献166

  • 1张宝峰,张翀斌,许源.基于模糊测试的网络协议漏洞挖掘[J].清华大学学报(自然科学版),2009(S2):2113-2118. 被引量:14
  • 2景涛,江昌海,胡德斌,白成刚,蔡开元.软件关联缺陷的一种检测方法[J].软件学报,2005,16(1):17-28. 被引量:23
  • 3徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:39
  • 4Jones 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 soft- ware engineering. New York, USA= ACM, 2005 : 273-282.
  • 5Weiser M. Program slicing[J]. IEEE Transactions on Software Engineering, 1984,10(5) : 498-509.
  • 6Renieris M, Reiss S P. Fault localization with nearest neighbor queries[C]//Proceedings of the 18th IEEE International Con ference on Automated Software Engineering. USA: IEEE Com- puter Society, 2003 : 30 -39.
  • 7Jones J A, Harrold M J, Stasko J. Visualization of test informa- tion to assist fault loealization[C]//Proeeedings of the 24th In- ternational Conference on Software Engineering. USA: ACM, 2002 : 467-477.
  • 8Chen M Y, Kiciman E, Fratkin E, et al. Pinpoint:problem deter- mi- nation in large, dynamic internet services[C]//Proceedings of the 2002 International Conference on Dependable Systems and Networks. USA: IEEE Computer Society, 2002 : 595-604.
  • 9Abreu R, Zoeteweij P, van Gemund A J C: On the accuracy of spectrum based fault localization[C]//Proceedings of Testing: Academic and Industrial Conference, Practice and Research Techniques. Washington, DC, USA: IEEE Computer Society, 2007:89-98.
  • 10Liu Chao, Yan Xi-feng, Fei Long, et al. SOBER = statistical mod- el-based bug localization [J]. ACM SIGSOFT Software Engi- neering Notes, 2005,30(5) : 286-295.

引证文献8

二级引证文献47

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部