期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于信息流的关键软件缺陷定位技术

The Critical Defect Localization Technique Based on Information Flow in Software
下载PDF
导出
摘要 针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对覆盖等缺陷定位技术的对比试验,结果表明:此方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法更可靠、更精确,能高效率地定位软件中的缺陷。 b
作者 周东红 石柱 王瑞 李沫
机构地区 中国航天系统科学与工程研究院
出处 《载人航天》 CSCD 2016年第5期635-640,共6页 Manned Spaceflight
关键词 软件测试 复杂缺陷 信息流覆盖 语句覆盖 分支覆盖 定义使用对覆盖 software test complex defect information flow coverage statement coverage branch coverage define-use pair coverage
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1Masri W, Podgurski A. Algorithms and tool support for dvnamicinformation flow analysis[J] - Information and SoftwareTechnology, 2009, 51(2) : 386-404.
  • 2Uailpem B , Santhanam P. Software debugging, testing, andverification[J]. IBM Systems Journal,2002,41(1) : 4-12.
  • 3Shchekotykhin K, Friedrich G , Fleiss P , et al. Interactiveontology7 debugging : Two quer^7 strategies for e^icient fault localization[J] . W eb Semantics: Science, Services and Agentson the World Wide Web,2012(12) : 88-103.
  • 4Sahoo S K, Criswell J , Geigle C, et al. Lsing likely invariantsfor automated software fault localization [J]. ACM SJGARQiComputer Architecture News,2013,41(1) : 139-152.
  • 5W'eiser M. Program slicing[C]//Proceedings of the 5th internationalconference on Software engineering. IEEE Press,1981:439-449.
  • 6Korel B, Laski J. Dynamic program slicing[J]. InformationProcessing Letters,1988,29(3) : 155-163.
  • 7虞凯,林梦香.自动化软件错误定位技术研究进展[J].计算机学报,2011,34(8):1411-1422. 被引量：43
  • 8Masri W. Fault localization based on information flow coverage[J] . Software Testing, Verification and Reliability,2010, 20(2) : 121-147.
  • 9Masri W, Podgurski A , Leon D. detecting and debugging insecureinformation flows [C] / / Piscataway, NJ : IEEE Press.2004. 198-209.
  • 10Masri W, Podgurski A, Leon D. An empirical study of testcase filtering techniques based on exercising information flows[J]. IEEE Transactions on Software Engineering,2007, 33(7) : 454-477.

二级参考文献77

  • 1Jeffrey D, Gupta N, Gupta R. Fault localization using value replacement//Proceedings of the 2008 International Symposium on Software Testing and Analysis (ISSTA ' 08). Seattle, WA, USA, 2008:167-178.
  • 2Zhang X, Gupta N, Gupta R. Locating faults through automated predicate switching//Proceedings of the 28th International Conference on Software Engineering (ICSE ' 06 ). Shanghai, China, 2006:272 -281.
  • 3Reps T, Ball T, Das M, Larus J. The use of program profiling for software maintenance with applications to the year 2000 problem//Proceedings of the 6th European Software Engineering Conference Held Jointly with the 5th ACM SIG- SOFT International Symposium on Foundations of Software Engineering(ESEC'97/FSE-5). Zurich, Switzerland, 1997.- 432 449.
  • 4Harrold M J, Rothermel G, Sayre K, Wu R, Yi L. An empirical investigation of the relationship between spectra differences and regression faults. Software Testing Verification and Reliability, 2000, 10(3): 171-194.
  • 5Jones J A, Harrold M J, Stasko J. Visualization of test information to assist fault localization//Proceedings of the 24th International Conference on Software Engineering (ICSE' 02). Orlando, Florida, 2002: 467-477.
  • 6Wong E, Wei T, Qi Y, Zhao L. A Crosstab-based statistical method for effective fault localization//Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation (ICST'08). Lillehammer, Norway, 2008:42-51.
  • 7Hao D, Zhang L, Pan Y, Mei H, Sun J. On similarity- awareness in testing-based {ault localization. Automated Software Engineering, 2008, 15(2):07-249.
  • 8Naish L, Lee H, Ramamohanarao K. A model for spectra- based software diagnosis. ACM Transactions on Software Engineering and Methodology, 2011, 20(3): to appear.
  • 9Liblit B, Naik M, Zheng A X, Aiken A, Jordan M I. Scalable statistical bug isolation//Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation(PLDI'05). 2005:15-26.
  • 10Liu C, Fei L, Yan X, Han J, Midkiff S P. Statistical debugging; A hypothesis testing-based approach. IEEE Transactions on Software Engineering, 2006, 32(10): 831-848.

共引文献45

载人航天
2016年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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