计算机科学 ›› 2017, Vol. 44 ›› Issue (11): 175-180.doi: 10.11896/j.issn.1002-137X.2017.11.026
王林鑫,王微微,赵瑞莲,李征
WANG Lin-xin, WANG Wei-wei, ZHAO Rui-lian and LI Zheng
摘要： 在软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时会生成大量变异体,并在变异体上执行测试用例集,开销庞大。为了减少MBFL的变异执行开销,提出面向语句的变异体约减策略,通过分析测试用例的执行信息, 按一定比例 对每条由失败测试用例覆盖的语句生成的变异体集合进行约减。实验结果表明,在7个程序包的112个错误版本上,应用面向语句的变异体约减策略的MBFL,在保持较高错误定位精度的同时,能够有效减少73.51%~79.98%的变异执行开销。
| [1] YU K,LIN M X.Advances in Automatic Software Fault Localization Techniques[J].Chinese Journal on Computers,2011,24(8):1411-1422.(in Chinese) 虞凯,林梦香.自动化软件错误定位技术研究进展[J].计算机学报,2011,34(8):1411-1422. [2] WONG W E,DEBROY V.A survey of software fault localization.http://core.ac.uk/display/21888435. [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 of similarity 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 forspectra-based software diagnosis[J].ACM Transactions on Software Engineering and Methodology (TOSEM),2011,20(3):1-32. [6] PAPADAKIS M,LE T Y.Using mutants to locate “ Unknown” faults[C]∥2012 IEEE Fifth International Conference on Software Testing,Verification and Validation (ICST).IEEE,2012:691-700. [7] PAPADAKIS M,LE TRAON Y.Metallaxis-FL:Mutation-based Fault Localization[J].Software Testing,Verification and Reliability,2015,25(5-7):605-628. [8] PAPADAKIS M,LE TRAON Y.Effective Fault Localizationvia Mutation Analysis:A Selective Mutation Approach[C]∥Proceedings of the 29th Annual ACM Symposium on Applied Computing(SAC).2014:1293-1300. [9] MOON S,KIM Y,KIM M.Ask the mutants:Mutating faulty programs for fault localization[C]∥2014 IEEE Seventh International Conference on Software Testing,Verification and Validation (ICST).IEEE,2014:153-162. [10] JIA Y,HARMAN M.An analysis and survey of the development of mutation testing[J].Software Engineering,2011,37(5):649-678. [11] ZHANG L,MARINOV D,KHURSHID S.Faster mutation testing inspired by test prioritization and reduction[C]∥Procee-dings of the 2013 International Symposium on Software Testing and Analysis.ACM,2013:235-245. [12] GONG P,ZHAO R,LI Z.Faster mutation-based fault localization with a novel mutation execution strategy[C]∥2015 IEEE Eighth International Conference on Software Testing,Verification and Validation Workshops (ICSTW).IEEE,2015:1-10. [13] ZHANG L,HOU S S,HU J J,et al.Is operator-based mutant selection superior to random mutant selection?[C]∥Procee-dings of the 32nd ACM/IEEE International Conference on Software Engineering.ACM,2010:435-444. [14] DELAMARO M E,MALDONADO J C,MATHUR A P.Pro-teum-A Tool for the Assessment of Test Adequacy for C Programs User’s guide[C]∥PCS.1999:79-95. [15] MALDONADO J C,VINCENZI A M R, DELAMARO M E.Proteum/IM 2.0:An Integrated Mutation Testing Environment[C]∥Mutation 2000 Symposium.San Jose,CA:Kluwer Academic Publishers,2000:91-101. [16] DO H,ELBAUM S,ROTHERMEL G.Supporting controlledexperimentation with testing techniques:An infrastructure and its potential impact[J].Empirical Software Engineering,2005,10(4):405-435. [17] XIE X,CHEN T Y,KUO F C,et al.A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization[J].ACM Transactions on Software Engineering and Me-thodology (TOSEM),2013,22(4):31. |
| No related articles found! |
|
||
首页