计算机科学 ›› 2016, Vol. 43 ›› Issue (2): 199-203.doi: 10.11896/j.issn.1002-137X.2016.02.043

• 软件与数据库技术 • 上一篇    下一篇

针对基于变异错误定位的一种动态变异执行策略

龚沛,耿楚瑶,郭俊霞,赵瑞莲   

  1. 北京化工大学计算机系 北京100029,北京邮电大学信通学院 北京100876,北京化工大学计算机系 北京100029,北京化工大学计算机系 北京100029
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家自然科学基金项目(61170082,61472025),教育部新世纪优秀人才支持计划(NCET-12-0757)资助

Dynamic Mutation Execution Strategy for Mutation-based Fault Localization

GONG Pei, GENG Chu-yao, GUO Jun-xia and ZHAO Rui-lian   

  • Online:2018-12-01 Published:2018-12-01

摘要: 在软件调试过程中,如何快速、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。基于变异的错误定位方法是一种通过分析被测程序与程序变异体之间的行为相似性来估计语句出错概率、进行错误定位的方法。该方法有较高的错误定位精确度,但由于需对大量程序变异体执行测试用例集,因此其变异执行开销较大。为此提出了一种动态变异执行策略,它通过搜集测试用例执行信息,动态地调整变异体及测试用例的执行顺序,以减少其变异执行开销。实验结果表明,在6个程序包的127个错误版本上,应用提出的动态变异执行策略可在保证错误定位精确度的前提下,减少23%~78%的变异执行开销,显著提高了基于变异的错误定位方法的效率。

关键词: 错误定位,变异分析,变异执行策略

Abstract: During software debugging process,how to locate faults in programs quickly and accurately is an issue of common concern to developers.Mutation-based fault localization is an approach by estimating the possibilities of statements that incur error to locate faults on the basis of the similarity between the programs under test and corresponding mutants.This approach shows a high precision on fault localization but requires a large execution cost,since it needs to execute the test suite on a lot of mutants.For reducing unnecessary execution cost,this paper presented a dynamic mutation execution strategy,which dynamically adjusts the execution orders of both mutants and test cases according to previous execution information.Empirical studies were conducted on 127 faulty versions from 6 program packages.The results indicate that this strategy can reduce 23% up to 78% mutation execution cost under the case of keeping fault location precision.

Key words: Fault localization,Mutation analysis,Mutation execution strategy

[1] Masri W,Abou-Assi R,El-Ghali M,et al.An empirical study of the factors that reduce the effectiveness of coverage-based fault localization[C]∥Proceedings of the 2nd International Workshop on Defects in Large Software Systems:Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009).ACM,2009:1-5
[2] Yu K,Lin M X.Advances in Automatic Software Fault Localization Techniques[J].Chinese Journal of Computers,2011,4(8):1411-1422(in Chinese) 虞凯,林梦香.自动化软件错误定位技术研究进展[J].计算机学报,2011,34(8):1411-1422
[3] Jones 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 software engineering.ACM,2005:273-282
[4] Abreu R,Zoeteweij P,Van Gemund A J C.An evaluation ofsimilarity coefficients for software fault localization[C]∥12th Pacific Rim International Symposium on Dependable Computing,2006(PRDC’06).IEEE,2006:39-46
[5] Naish L,Lee H J,Ramamohanarao K.A model for spectra-based software diagnosis[J].ACM Transactions on software enginee-ring and methodology (TOSEM),2011,20(3):1-32
[6] Masri W.Fault localization based on information flow coverage[J].Software:Testing,Verification and Reliability,2010,20(2):121-147
[7] Santelices R,Jones J A,Yu Y,et al.Lightweight fault-localization using multiple coverage types[C]∥IEEE 31st International Conference on Software Engineering,2009(ICSE 2009).IEEE,2009:56-66
[8] Papadakis M,Le Traon Y.Using mutants to locate "Unknown" faults[C]∥2012 IEEE Fifth International Conference on Software:Testing,Verification and Validation (ICST).IEEE,2012:691-700
[9] Papadakis M,Le Traon Y.Metallaxis-FL:Mutation-based Fault Localization[J].Software:Testing,Verification and Reliability,2015,25(5-7):605-628
[10] Papadakis M,Le Traon Y.Effective Fault Localization via Mutation Analysis:A Selective Mutation Approach[C]∥ Procee-dings of the 29th Annual ACM Symposium on Applied Computing.2014:1293-1300
[11] Jia Y,Harman M.An analysis and survey of the development of mutation testing[J].Software Engineering,2011,37(5):649-678
[12] Zhang L,Marinov D,Khurshid S.Faster mutation testing in-spired by test prioritization and reduction[C]∥Proceedings of the 2013 International Symposium on Software Testing and Analysis.ACM,2013:235-245
[13] Do H,Elbaum S,Rothermel G.Supporting controlled experi-mentation with testing techniques:An infrastructure and its potential impact[J].Empirical Software Engineering,2005,10(4):405-435
[14] Delamaro M E,Maldonado J C,Vincenzi A M R.Proteum/IM 2.0:An integrated mutation testing environment[M]∥Mutation testing for the new century.Springer US,2001:91-101

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!