期刊文献+

基于程序谱概念格的软件错误定位技术 被引量:2

Software Fault Localization Based on Program Spectrum Concept Lattice
下载PDF
导出
摘要 针对由不同错误引起的失效测试叠加而导致错误定位效率降低问题以及程序员很难根据缺乏上下文信息的单个程序元素的可疑度来最终确定错误的位置问题,提出了一种基于程序谱概念格的软件错误定位技术。这种技术首先根据测试历史信息提取程序谱信息并构建程序谱的概念格,以层次结构展示程序元素和测试的泛化和特化关系;在此基础之上,定义了一种新的可疑度的计算方法。以中等规模程序Tetris为实验对象,借助wasted effort评测指标验证了所提方法的有效性。 The traditional techniques generally do not resolve the problem of low efficiency caused by the count of failed tests due to different faults. Besides,programmers are difficult to finally fix the fault according to the suspiciousness of a program ele- ment which lacks program context. A program spectrum concept lattice-based software fault localization (PSCL-SFL) technique was proposed. Firstly,program spectra were abstracted according to test history, and then program spectrum concept lattice was constructed, so the generalization or specialization of program elements and tests could be hierarchically showed. Secondly,a novel suspiciousness computation was defined by PSCL-SFL technique. Finally,based on wasted effort metric, the experiment on a real program Tetris showed the effective of PSCL-SFL technique.
出处 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2014年第2期87-94,共8页 Journal of Sichuan University (Engineering Science Edition)
基金 国家自然科学基金资助项目(61202006) 江苏省高校自然科学研究项目(12KJB520014) 南通市应用研究计划资助项目(BK2012023) 南通大学自然科学基金资助项目(12Z036)
关键词 程序谱 错误定位 概念格 可疑度 program spectrum fault localization concept lattice suspiciousness
  • 相关文献

参考文献13

  • 1Zeller A, Hildebrandt R. Simplifying and isolating failure-inducing input[ J]. IEEE Transactions on Software Engi- neering,2002,28 (2) : 183 - 200.
  • 2Cleve H, ZeUer A. Locating causes of program failures [ C ]//Proceedings of International Conference on Software Engineering. St Louis : IEEE Computer Society,2005 : 342 - 351.
  • 3Weiser M. Program slicing[ J]. IEEE Transactions on Soft- ware Engineering. 1984,10 (4) :352 - 357.
  • 4Agrawal H, DeMillo R A, Spafford E H. Debugging with dynamic slicing and backtracking [ J ]. Software-Practice and Experience, 1993,23 (6) :589 - 616.
  • 5文万志,李必信,孙小兵,刘翠翠.一种基于层次切片谱的软件错误定位技术[J].软件学报,2013,24(5):977-992. 被引量:17
  • 6文万志,李必信,孙小兵,齐珊珊.基于条件执行切片谱的多错误定位[J].计算机研究与发展,2013,50(5):1030-1043. 被引量:12
  • 7Abreu R,Zoeteweij P, Gemund A V. Spectrum-based mul- tiple fault localization [ C ]//Proceedings of the IEEE/ ACM International Conference on Automated Software En- gineering. Auckland: IEEE Computer Society, 2009 : 88 -99.
  • 8Jones J A, Harrold M J, Stasko J. Visualization of test in- formation to assist fault localization [ C ]//Proceedings of the 24th International Conference on Software Engineer- ing. Orlando : ACM ,2002:467 - 477.
  • 9Jones J A,Harrold M J. Empirical evaluation of the taran- tula automatic fault localization technique [ C ]//Proceed- ings of the 20th IEEE/ACM International Conference on Automated Software Engineering. Long Beach: IEEE Com- puter Society,2005:273-282.
  • 10Abreu R,Zoeteweij P,van Gemund A J C. On the accu- racy of spectrum-based fault localization [ C ]//Proceedings of Testing: Academic and Industrial Conference-Practice and Research Techniques. Windsor:IEEE Computer Socie- ty,2007 : 89 - 98.

二级参考文献3

共引文献25

同被引文献30

  • 1张聪品,孙印杰.带有异常结构程序的数据流分析[J].微机发展,2005,15(8):62-64. 被引量:1
  • 2汪小飞,赵克佳,田祖伟.数据流分析的关键技术研究[J].计算机科学,2005,32(12):91-93. 被引量:10
  • 3花全香,邢汉承,冯纯伯.数据流分析的图文法途径[J].小型微型计算机系统,1997,18(7):42-48. 被引量:6
  • 4J. A. Jones, M. J. Harrold, J. Stasko. Visualization of Test In- formation to Assist Fault Localization [ C ]. In the Proceedings of the 24th International Conference on Software Engineering (ICSE2002) ,orlando,Florida, 2002:467 -477.
  • 5M. R Renieres. Fault Localization with Nearest Neighbor Queries [ C]. proceedings The 18th IEEE Intemational Conference on Auto- mated Software Engineering. 2003:30 - 39.
  • 6Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan. Bug Isolation via Remote Program Sampling[ J]. Proe. ACM SIGPLAN 2003 International Conference. Programming Language Design and Implemention ,2003 : 141 - 154.
  • 7Zeller A, Hildebrandt R. Simplifying and isolating failure - indu- cing input. IEEE Trans. on Software Engineering, 2002,28 (2) : 183 - 200.
  • 8Thomas Reps, Susan Horwitz, and Mooly Sagiv. Precise interproce- dural dataflow analysis via graph teachability. In Proceedings of the 22nd ACM SIGPLAN - SIGACT, pages 49 - 61. ACM, 1995.
  • 9Uday Khedker, Amitabha Sanyal, and Bageshri Sathe. Data flow a- nalysis: theory and practice. CRC Press ,2009.
  • 10Cleve H, Zeller A. Locating causes of program failures. In: Proc. of Int'l Conf. on Software Engineering. St. Louis: IEEE Computer Society, 2005. 342- 351.

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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