期刊文献+

变异测试:原理、优化和应用 被引量:16

Mutation Testing: Principal, Optimization and Application
下载PDF
导出
摘要 变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异测试分析流程进行介绍,并对其中的重要概念依次给出定义,从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中,从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中,选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域,对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。 Mutation is a fault-based testing technique. This topic is widely researched for over 40 years. This paper summarizes previous research work into three modules: principal, optimization and application. In the principal module, this paper firstly introduces two fundamental hypotheses, secondly illustrates the traditional process of mutation analysis and gives definitions for the important concepts, lastly summarizes equivalent mutant detection techniques into static detection and dynamic detection categories. In the optimization module, this paper illustrates mutant selection optimization and mutant execution optimization. In the application module, this paper introduces three classical applications: test suite adequacy evaluation, test case generation and regression testing. Finally, this paper draws a conclusion and forecasts some potential future research work.
作者 陈翔 顾庆
出处 《计算机科学与探索》 CSCD 2012年第12期1057-1075,共19页 Journal of Frontiers of Computer Science and Technology
基金 国家自然科学基金 Nos. 61202006 61021062 江苏省高校自然科学研究项目 No. 12KJB520014 南通市应用研究计划项目 No. BK2012023 南京大学计算机软件新技术国家重点实验室开放课题 No. KFKT2012B29~~
关键词 变异测试 等价变异体 测试用例集充分性 测试用例生成 回归测试 mutation testing equivalent mutant test suite adequacy test case generation regression testing
  • 相关文献

参考文献98

  • 1Zhu H, Hall P, May J. Software unit test coverage and ade- quacy[J]. ACM Computing Survey, 1997, 29(4): 366-427.
  • 2Andrews J H, Briand L C, Labiche Y. Is mutation an appro- priate tool for testing experiments? [C]//Proceedings of the 27th International Conference on Software Engineering (ICSE '05), St Louis, Missouri, 2005. New York, NY, USA: ACM, 2005: 402-411.
  • 3Do H, Rothermel G. On the use of mutation faults in empiri- cal assessments of test case prioritization techniques[J]. IEEE Transactions on Software Engineering, 2006, 32(9): 733-752.
  • 4Hamlet R G. Testing programs with the aid of a compiler[J]. IEEE Transactions on Software Engineering, 1977, 3(4): 279-290.
  • 5DeMillo R A, Lipton R J, Sayward F G. Hints on test data selection: help for the practicing programmer[J]. Computer, 1978, 11(4): 34-41.
  • 6King K N, Offutt A J. A Fortran language system for muta- tion based software testing[J]. Software: Practice and Expe- rience, 1991, 21(7): 685-718.
  • 7Delamaro M E, Maldonado J C. Proteum-a tool for the assessment of test adequacy for C programs[C]//Proceedings of the Conference on Performability in Computing Systems (PCS '96), New Brunswick, New Jersey, 1996: 79-95.
  • 8Ma Y S, Offutt A J, Kwon Y R. MuJava: an automated class mutation system[J]. Software Testing, Verification and Reli- ability, 2005, 15(2): 97-133.
  • 9Smith B, Williams L. On guiding the augmentation of an automated test suite via mutation analysis[J]. Empirical Soft- ware Engineering, 2009, 14(3): 341-369.
  • 10Schuler D, Zeller A. Javalanche: efficient mutation testing for Java[C]//Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACMSIGSOFT Symposium on Foundations of Software Engi- neering (ESEC/FSE '09), Amsterdam, The Netherlands, 2009. New York, NY, USA: ACM, 2009: 297-298.

二级参考文献71

  • 1任子武,伞冶.实数遗传算法的改进及性能研究[J].电子学报,2007,35(2):269-274. 被引量:42
  • 2DeMillo R A, Lipton R J, Sayward F G. Hints on test data selection: Help for the practicing programmer [J]. IEEE Computer, 1978, 11(4): 34-41.
  • 3Hamlet F G. Testing programs with the aid of a compiler [J]. IEEE Trans on Software Engineerirlg, 1977, 3 (4): 279-290.
  • 4Korel B, Al-Yami A M. Assertion-oriented automated test data generation [C] //Proc of the 18th Int Conf on Software Engineering. Washington, DC: IEEE Computer Society, 1996 : 71-80.
  • 5Delamaro M E, Maidonado J C, Mathur A P. Interface rnutation: An approach for integration testing [J]. IEEE Trans on Software Engineering, 2001, 27(3): 228-247.
  • 6Shufang Lee, Bai Xiaoying, Chen Yinong. Automatic mutation testing and simulation on OWL-S specified Web services [C]//Proc of the 41st Annual Simulation Symposium (ANSS-41). Washington, DC: IEEE Computer Society, 2008:149-156.
  • 7Ferrari F C, Maldonado J C, Rashid A. Mutation testing for aspect-oriented programs[C] //Proc of the 1st Int Conf on Software Testing, Verification, and Validation. Washington, DC: IEEE Computer Society, 2008:52-61.
  • 8Ma Y S, Kwon Y R, Offutt J. Inter-class mutation operators for java [C] //Proc of the 13th Int Symp on Software Reliability Engineering (ISSRE 2002). Washington, DC: IEEE Computer Society, 2002:352-363.
  • 9Jon E. A survey on automatic test data generation [C/OL] J/ Proe of the 2nd Conf on Computer Science and Engineering. 1999: 21-28. [2009-05-01]. http://staff, unak. is/not/andy/ MScTestingMaintenan ee0607/Lectures/SurveyAutomaticTest DataGeneration. pdf.
  • 10DeMillo R A, Offutt A J. Constraint-based automatic test data generation [J]. IEEE Trans on Software Engineering, 1991, 17(9): 900-910.

共引文献74

同被引文献112

  • 1章晓芳,徐宝文,聂长海,史亮.一种基于测试需求约简的测试用例集优化方法[J].软件学报,2007,18(4):821-831. 被引量:59
  • 2徐拾义.降低软件变异测试复杂性的新方法[J].上海大学学报(自然科学版),2007,13(5):524-531. 被引量:3
  • 3Ammann P, Offutt J.Introduction to Software Testing [M]. Cambridge: Cambridge University Press, 2008.
  • 4Mathur A P. Foundations of Sottware Testing [M]. New Jersey: Pearson Education Press, 2008.
  • 5Jones J A, Harrold M J. Empirical evaluation of the tarantula automatic fault localization technique[C]. Proceedings of the International Conference on Automated Software Engineering (ASE'05), California, USA, 2005: 273-282.
  • 6山世光.浅谈科研流程及其中的师生合作[J].中国计算机学会通讯,2013,3,9(3).
  • 7李武军.浅谈本科生科研能力培养[J].中国计算机学会通讯,vol9,No 11,2013,11.
  • 8Rothermel G, Untch R J, Chu C. Prioritizing Test Cases for Re- gression Testing[J]. IEEE Transactions on Software Enginee- ring, 2001,27 (10) : 929-948.
  • 9Harrold M, Orso A. Retesting Software during Development and Maintenance[C]//Proceedings of Frontiers of Software Mainte- nance. Beijing & IEEE Press, 2008 : 99-108.
  • 10Beizer/3. Software Testing Techniques[M]. New York: Van No strand Reinhold, 1990.

引证文献16

二级引证文献58

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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