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

基于频谱的缺陷定位技术:逆向切片优于执行切片

Backward Slices are Better than Execution Slices in Spectrum based Fault Localization
下载PDF
导出
摘要 一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,扩充了采用逆向切片基于频谱的缺陷定位技术的方法学,实现了其在无测试预言下的有效应用。基于上述研究,进一步对比了SFL技术中执行切片与逆向切片的缺陷定位能力。实验表明,在有测试预言和无测试预言两种情况下,逆向切片比执行切片具有更强的缺陷定位能力,并且公式GP19和ER1’相比于其他公式,更有可能达到最优结果。 Fault localization techniques generally require a test oracle to determine whether a test case fails or succeeds. Oth- erwise, these techniques are infeasible. As a matter of fact, it is difficult or almost impossible to define a test oracle in many cases. This is the famous oracle problem. To alleviate this problem, this paper utilizes metamorphic testing to successfully extend the meth- odology of spectrum-based fault localization （SFL） using backward slices in the cases where no test oracle exists. Furthermore, this paper compares the localization effectiveness of execution slices with that of backward slices in SFL techniques. The experimental results, in both the cases where there is a test oracle or no test oracle, show that backward slices outperform execution slices in im- proving fault localization effectiveness, and suggest that the formulas GP19 and ERI＇ have a higher probability of performing better than the other formulas.
作者 雷晏 毛晓光 陈宗岳
机构地区 后勤工程学院训练部 国防科学技术大学计算机学院 斯威本科技大学
出处 《后勤工程学院学报》 2015年第3期1-13,共13页 Journal of Logistical Engineering University
基金 国家自然科学基金项目(61379054 91118007) 国家863计划项目(2012AA011201)
关键词 缺陷定位 程序谱 执行切片 逆向切片 测试预言 fault localization program spectra execution slice backward slice test oracle
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献25

  • 1Naish L,Lee H J,Ramamohanarao K.A model for spectra-based software diagnosis[J].ACM Transactions on Software Engineering and Methodology,2011,20(3):1-32.
  • 2Santelices R,Jones J A.Lightweight fault-localization using multiple coverage types[C]//Proceedings of the 31st International Conference on Software Engineering(ICSE).Vancouver,Canada:IEEE/ACM,2009:56-66.
  • 3Jones 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(ICSE).Orlando,USA:IEEE/ACM,2002:467-477.
  • 4Jones J,Harrold M.Empirical evaluation of the tarantula automatic fault-localization technique[C]//Proceedings of the 20th International Conference on Automated Software Engineering(ASE 2005).Long Beach,USA:IEEE/ACM,2005:273-282.
  • 5Abreu R,Zoeteweij P,Van Gemund A.On the accuracy of spectrum-based fault localization[C]//Proceedings of the Testing:Academic and Industrial Conference Practice and Research Techniques-Mutation.Windsor,UK:IEEE,2007:89-98.
  • 6Chen M,Kiciman E,Fratkin E,et al.Pinpoint:Problem determination in large,dynamic internet services[C]//Proceedings of the 32nd IEEE/IFIP International Conference on Dependable Systems and Networks(DSN).Los Alamitos,USA:IEEE/IFIP,2002:595-604.
  • 7Wong W E,Debroy V,Gao R,et al.The DStar method for effective software fault localization[J].IEEE Transactions on Reliability,2014,62(4):290-308.
  • 8Mao Xiao-guang,Lei Yan,Dai Zi-ying,et al.Slice-based statistical fault localization[J].Journal of Systems and Software,2014,89:51-62.
  • 9Korel B,Laski J.Dynamic Program Slicing[J].Information Processing Letters,1988,29(3):155-163.
  • 10Agrawal H,Horgan J R.Dynamic program slicing[C]//Proceedings of the Conference on Programming Language Design and Implementation(PLDI).New York,USA:ACM,1990:246-256.

二级参考文献44

  • 1Hu P, Zhang Z, Chart WK, Tse TH. An empirical comparison between direct and indirect test result checking approaches. In: Proc. of the 3rd Int'l Workshop on Software Quality Assurance (SOQUA 2006), in conjunction with the 14th ACM SIGSOFT Syrup. on Foundations of Software Engineering (SIGSOFT 2006/FSE-14). New York: ACM Press, 2006.6-13.
  • 2Beizer B. Software Testing Techniques. New York: Van Nostrand Reinhold, 1990.
  • 3Weyuker EJ. On testing non-testable programs. The Computer Journal, 1952,25(4):465-470.
  • 4Chen TY, Feng J, Tse TH. Metamorphic testing of programs on partial differential equations: A case study. In: Proc. of the 26th Annual Int'l Computer Software and Applications Conf. (COMPSAC 2002). Los Alamitos: IEEE Computer Society Press, 2002. 327-333.
  • 5Chan WK, Cheung SC, Ho JCF, Tse TH. PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs. Journal of Systems and Software, 2008. doi: 10.1016/j.jss.2008.07.019.
  • 6Chart WK, Ho JCF, Tse TH. Piping classification to metamorphic testing: An empirical study towards better effectiveness for the identification of failures in mesh simplification programs. In: Proc. of the 31 st Annual Int'l Computer Software and Applications Conf. (COMPSAC 2007), Vol.1. Los Alamitos: IEEE Computer Society Press, 2007.397-404.
  • 7Tse TH, Yau SS, Chan WK, Lu H, Chen TY. Testing context-sensitive middleware-based software applications. In: Proc. of the 28th Annual Int'l Computer Software and Applications Conf. (COMPSAC 2004), Vol.1. Los Alamitos: IEEE Computer Society Press, 2004. 458-465.
  • 8Lu H, Chan WK, Tse TH. Testing context-aware middleware-centric programs: A data flow approach and an RFID-based experimentation. In: Proc. of the 14th ACM SIGSOFT Int'l Symp. on Foundations of Software Engineering (SIGSOFT 2006/FSE-14). New York: ACM Press, 2006. 242-252.
  • 9Chan WK, Chen TY, Lu H, Tse TH, Yau SS. A metamorphic approach to integration testing of context-sensitive middleware-based applications. In: Proc. of the 5th Int'l Conf. on Quality Software (QSIC 2005). Los Alamitos: IEEE Computer Society Press, 2005. 241-249.
  • 10Chart WK, Chen TY, Lu H, Tse TH, Yau SS. Integration testing of context-sensitive middleware-based applications: A metamorphic approach, Int'l Journal of Software Engineering and Knowledge Engineering, 2006,16(5):677-703.

共引文献1

后勤工程学院学报
2015年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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