期刊文献+

一种计算缺陷贡献率的代码缺陷定位规则 被引量:3

Research on codes defect localization rules by calculating defect contribution rate
下载PDF
导出
摘要 为了提高基于覆盖率的缺陷定位方法的效率和准确率,将执行轨迹中被失效执行所覆盖的基本块(Cfailure)、被全部执行所覆盖的基本块(C-all)和未被任何执行所覆盖的基本块(C-non)这三个小概率事件进行了分析,指出这些小概率事件的出现包含大量信息,据此提出三条缺陷检测新规则。然后利用执行轨迹所收集的覆盖率度量值计算缺陷贡献率CDCR,给出了缺陷贡献率算法(Codes-TCC)。研究主要创新在于新规则中贡献率公式加入权重系数且算法实现层层递归,可精确定位缺陷位置;除此之外,规则中加入排除无关基本块的优化,很大地提高了缺陷定位的效率。最后在西门子和space程序集上将Codes-TCC缺陷定位结果与其他四种经典的基于覆盖率的缺陷定位算法进行对比实验,证实了该方法已达到期望的目的。 To improve the efficiency and accuracy of the defect localization based on coverage, this paper focused on the re- search of three type code blocks which had small probability such as blocks covered by the failure executions, blocks covered by all the cases and blocks not covered by any cases. This paper argued that these small probability events contain more infor- mation, and proposed three rules for defect localization. It calculated the codes defect contribution rate (CDCR) based on col- lected execution coverage metrics and presented related CDCR algorithm. The innovation of the research was that put the weight coefficient into the CDCR formula and a reeursive algorithm. It added some rules to remove the irrelevant blocks, which could greatly improve the efficiency of the defect location. In order to show feasibility of the methods, also conducted a case study using the Siemens and space suite, compared and the results of Codes-TCC with other four defect location algorithms based on coverage in the Siemens and space suite. The experimental results show that the Codes-TCC is better than other four algorithms in efficiency and accuracy of the defect localization.
出处 《计算机应用研究》 CSCD 北大核心 2015年第9期2702-2707,共6页 Application Research of Computers
关键词 贡献率 覆盖率 缺陷定位 算法规则 小概率 contribution rate code coverage defect localization algorithm rules small probability
  • 相关文献

参考文献25

  • 1古可,刘超,金茂忠.C++代码缺陷自动检测工具的研究与实现[J].计算机应用研究,2009,26(5):1628-1631. 被引量:5
  • 2赵磊,王丽娜,高东明,张震宇,熊作婷.基于关联挖掘的软件错误定位方法[J].计算机学报,2012,35(12):2528-2540. 被引量:8
  • 3丁晖,陈林,钱巨,许蕾,徐宝文.一种基于信息量的缺陷定位方法[J].软件学报,2013,24(7):1484-1494. 被引量:16
  • 4梁广泰,王千祥.CODAS:一个易扩展的静态代码缺陷分析服务[J].计算机科学,2012,39(1):14-18. 被引量:3
  • 5Jones J A,Harrold M J.Empirical evaluation of the Tarantula automatic fault localization technique[C]//Proc of the 20th IEEE International Conference on Automated Software Engineering.[S.l.]:ASE Press,2005:273-282.
  • 6Abreu R,Zoeteweij P,Gemund A.On the accuracy of spectrum based fault localization[C]//Proc of Testing:Academic and Indus-trial Conference.UK:AIC Press,2007:89-98.
  • 7Zhang Z,Chan W K,Tse T H.Capturing propagation of infected program states[C]//Proc of the 17th International Conference on Foundation of Software Engineering.Amsterdam,Nederland:FSE/ESEC Press,2009:43-52.
  • 8Wong W E,Qi Yu,Zhao Lei,et al.Effective fault localization using code coverage[C]//Proc of the 31st Annual International Computer Software and Applications Conference.2007.
  • 9Wong W E,Debroy V,Choi B.A family of code coverage-based heuristics for effective fault localization[J].The Journal of Systems and Software,2010,83(1):188-208.
  • 10Wong W E,Debroy V,Gao Ruizhi,et al.The DStar method for effective software fault localization[J].IEEE Trans on Reliability,2014,63(1):290-308.

二级参考文献60

  • 1ZYZYCK J. A report generator for PC-Lint[J]. Dr Dobb' s Journal, 2003,28(2) :52.
  • 2VIEGA J, BLOCH J T, KOHNO Y, et al. ITS4: a static vulnerability scanner for C and C + + code [ C ]//Proc of the 16th ACSAC'00. Washington DC : IEEE Computer, 2000.
  • 3EVANS D, LAROCHELLE D. Improving security using extensible lightweight static analysis[J]. IEEE Software, 2oo2,19(1):42-51.
  • 4MEYERS S.Effective C++[M].侯捷,译.武汉:华中科技大学出版社,2001:39-49.
  • 5Institute ANS. ISO programming language C + + [ S ]. 2003.
  • 6林锐,韩永泉.高质量程序设计指南--C/C++语言[M].北京:电子工业出版社,2008:240-247.
  • 7WEINBERGER B. Craig, Google C ++ style guide [ EB/OL ]. ( 2008 ). http ://google-styleguide. googlecode.com/svn/trunk/cppguide. xml.
  • 8GAMMA E, HELM R, JOHNSON J V R. Design pattern[M].李英军,马晓星,蔡敏,等译.北京:机械工业出版社,2004:218-228.
  • 9CIOLKOWSKI M, LAITENBERGER O, ROMBACH D, et al. Software inspections, reviews and walkthroughs[ C ]//Proc of the 24th International Conference on Software Engineering. 2002:641-642.
  • 10Jones J A, Harrold M J, Stasko J. Visualization of test information to assist fault localization. In Proc. the 24th Int. Conf. Software Engineering, Orlando, Florida, USA, May 19 25, 2002, pp.467-477.

共引文献34

同被引文献60

  • 1王相懂,张毅坤.基于GCC的抽象语法树对C++源程序结构的分析[J].计算机工程与应用,2006,42(23):97-99. 被引量:8
  • 2Weisel: M. Programmers use slices when debugging[ J]. Communi- calions of the ACM, 1982,25 (7) :446-452.
  • 3Bach G K, Podgurski A, Harrold M J. The probabilistic program de- pendence graph and its application to fault diagnosis [ J ]. IIZEt:: Trans on Software Engineering,2010,36(4) :528-545.
  • 4Christ J, Ermis E, Schaf M, et al. Flow-sensitive fault localization [ M ]//Verification, Model Checking, and Abstract Interpretation: Lecture Notes in Computer Science. 2013 : 189- 208.
  • 5Zhao Lei, Wang Lina, Xiong Zuoting, et al. Execution-aware fault lo- calization based on the control flow analysis[ C]//Proc of the 1st In- ternational Conference on Information Computing and Applications: Lecture Notes in Computer Science. 2010 : 158-165.
  • 6Renieris M, Reiss S P. Fault localization with nearest neighbor quefies [ C ]//Proc of the 18th IEEE International Conference on Automated Software Engineering. Washington DC:IEEE Computer Society,2003: 30-39.
  • 7Jones J A, Harrold M J. Empirical evaluation of the tarantula automa- tic fault-localization teclnique [ C ]//Proc of the 20th IEEE/ACM In- ternational Conference on Automated software engineering. New York: ACM Press, 2005 : 273- 282.
  • 8Abreu R, Zoeteweij P, Van Gemund A J C. On the accuracy of spec- trum based fault localization [ C ]//Proc of Testing Academic and In- dustrial Conference, Practice and Research Techniques. Washington DC: IEEE Computer Society,2007:89-98.
  • 9Liblit B, Naik M, Zheug A X, et al. Scalable statistical bug isolation [ C ]//Proc of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2005:15-26.
  • 10Liu Chao, Yan Xifeng, Fei Long, et al. SOBER: statistical model- based bug localization[ J]. ACM SIGSOFT Software Engineering Notes ,2005,30 ( 5 ) :286-295.

引证文献3

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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