期刊文献+

MujavaX:一个支持非均匀分布的变异生成系统 被引量:2

MujavaX:A Distribution-Aware Mutation Generation System for Java
在线阅读 下载PDF
导出
摘要 变异分析是一种广泛用来评估软件测试技术性能的方法.已有的变异分析技术通常将变异算子平均地应用于原始程序.由于现实程序中的故障分布往往具有群束的特征,采用平均分布的变异分析方法不能客观地评估软件测试技术的性能.前期研究工作中提出了非均匀分布的变异分析方法,采用实例研究验证了不同的故障分布对测试技术性能评估的影响.为了增强非均匀分布的变异分析方法的实用性,开发了支持非均匀分布的变异生成系统MujavaX,该系统是对广泛实践的Mujava工具的扩展与改进.采用一个实例系统验证了开发的MujavaX的正确性与可行性,实验结果表明该系统能够生成指定分布的非均匀变体集合. Mutation analysis is widely employed to evaluate the effectiveness of various software testing techniques.Existing mutation analysis techniques commonly insert faults into original programs uniformly,while actual faults tend to be clustered,which has been observed in empirical studies.This mismatch may result in the inappropriate simulation of faults,and thus may not deliver the reliable evaluation results.To overcome this limitation,we proposed a distribution-aware mutation analysis technique in our previous work,and it has been validated that the mutation distribution has impact on the effectiveness result of software testing techniques under evaluation.In this paper,we implement a mutation system called MujavaX to support distribution-aware mutation analysis.Such a system is an extension and improvement on Mujava which has been widely employed to mutation testing for Java programs.A case study is conducted to validate the correctness and feasibility of MujavaX,and experimental results show that MujavaX is able to generate a set of mutants for Java programs with respect to the given distribution model specified by testers.
作者 孙昌爱 王冠
出处 《计算机研究与发展》 EI CSCD 北大核心 2014年第4期874-881,共8页 Journal of Computer Research and Development
基金 国家自然科学基金项目(60903003 61370061) 北京市自然科学基金项目(4112037) 中央高校基本科研业务费专项资金项目(FRF-SD-12-015A) 北京市优秀人才培养资助项目(D类)(2012D009006000002) 材料领域知识工程北京市重点实验室2012年度阶梯计划项目(Z121101002812005)
关键词 变异分析 变异系统 软件测试 基于故障的测试 性能评估 mutation analysis mutation system software testing fault-based testing performance evaluation
  • 相关文献

参考文献26

  • 1DeMillo R A, Lipton R J, Sayward F G. Hints on test data selection: Help for the practicing programmer [J]. IEEE Computer, 1978, 1(4): 31-41.
  • 2Jia Yue, Harmon M. An analysis and survey of the development of mutation testing [J]. IEEE Trans on Software Engineering, 2011, 37(5): 649-678.
  • 3Andrews J H, Briand L C, Labiehe Y. Is mutation an appropriate tool for testing experiments? [C] //Proe of the 27th Int Conf on Software Engineering (ICSE 2005). New York: ACM, 2005:402-411.
  • 4Offutt J, Untch R H. Mutation 2000: Uniting the orthogonal [C]//Proc of 2000 Mutation Testing for the New Century. Norwell, MA: Kluwer Academic Publishers, 2001:34-44.
  • 5DeMillo R A, Guindi D S, McCracken W M, et al. An extended overview of the Mothra software testing environment [C] //Proc of the 2nd Workshop on Software Testing, Verification, and Analysis. Piscataway, NJ: IEEE, 1988:142-151.
  • 6Mresa E S, Bottaci L. Efficiency of mutation operators and selective mutation strategies: An empirical study [J]. Software Testing, Verification and Reliability, 1999, 9 (4) : 205-232.
  • 7Howden W E. Weak mutation testing and completeness of test sets [J]. IEEE Trans on Software Engineering, 1982, 8 (4) : 371-379.
  • 8Frankl P G, Weiss S N, Hu C. All-Uses versus mutation testing: An experimental comparison of effectiveness [J]. Journal of Systems and Software, 2007, 38(3): 235-253.
  • 9Offutt A J, Pan J. Automatically detecting equivalent mutants and infeasible paths [J]. Software Testing, Verification and Reliability, 1997, 7(3) : 165-192.
  • 10Hierons R, Harman M. Using program slicing to assist in the detection of equivalent mutants [J]. Software Testing, Verification and Reliability, 1999, 9(4): 233-262.

二级参考文献48

  • 1DeMillo 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.
  • 2Hamlet F G. Testing programs with the aid of a compiler [J]. IEEE Trans on Software Engineerirlg, 1977, 3 (4): 279-290.
  • 3Korel 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.
  • 4Delamaro 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.
  • 5Shufang 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.
  • 6Ferrari 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.
  • 7Ma 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.
  • 8Jon 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.
  • 9DeMillo R A, Offutt A J. Constraint-based automatic test data generation [J]. IEEE Trans on Software Engineering, 1991, 17(9): 900-910.
  • 10Offutt A J, Jin Z, Pan J. The dynamic domain reduction procedure for test data generation [J]. Software: Practice and Experienee, 1991, 17(9): 900-910.

共引文献24

同被引文献7

引证文献2

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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