期刊文献+

基于遗传算法的分支覆盖测试用例设计 被引量:4

Design of Branch-Cover test cases based on Genetic Algorithm
下载PDF
导出
摘要 软件结构测试最棘手的就是测试用例的自动生成。本文将遗传算法引入分支覆盖测试用例的自动生成中,利用遗传算法的全局寻优优势,生成达到全部分支覆盖的测试数据。文中结合实例建立了基于遗传算法的模型,并给出了参数编码、交叉和变异等关键技术的实现代码。 The key of software structural testing is how to generate test cases automatically. Genetic algorithm is introduced into Branch-Cover test cases generating model in this paper. With the advantage of searching optimum in solution space,Genetic algo-rithm has successfully generated Branch-Cover test data that can cover all branches. The author has built a model of auto-generating test cases based on GA using a practical case,and presented some realized codes of important techniques such as parameters encod-in...
出处 《微计算机信息》 北大核心 2008年第12期270-272,共3页 Control & Automation
关键词 软件测试 遗传算法 分支覆盖 测试用例 程序插装 software testing genetic algorithm Branch-Cover test case program instrumentation
  • 相关文献

参考文献4

二级参考文献4

  • 1扈红超,杨梅越.基于MPC8260嵌入式系统的测试[J].微计算机信息,2006(01Z):35-37. 被引量:4
  • 2古乐 史九林.软件测试技术概论[M].上海艾微软件技术有限公司,清华大学出版社,2004.4..
  • 3上海创景计算机系统有限公司.LDAR Testbed RTInsight 使用指南,2005.5
  • 4上海创景计算机系统有限公司.LDRA Testbed汇编语言使用指南,2005.4

共引文献24

同被引文献27

  • 1Brian Bailey, The Need for a Scalable Verification Methodology to Overcome the Limitations of Current Verification Approaches, Design Verification and Test Division Mentor Graphics Corporation.
  • 2M.C.McFerland. Formal methods: state of the art and the future directions. ACM Computing Surveys, December 1996.
  • 3Lars Philipson, Lunds Tekniska Hogskola. Survey compares formal verification tools. EEdesign, November 30, 2001. URL: http:// www.eetimes.com/story/OEG20011128S0037.
  • 4Naoki Shiramatsu.Improvement in measuring the luminance distribution of CRT electron beam spot.SID(DIGEST),2000,624-627.
  • 5CORNO F, PRINETrO P, REORDA M Sonza, et al. Fully automatic test program generation for microprocessor cores [C]. Proceedings of Designs, Automation and Test in Europe, Germany, 2003:1006-1001.
  • 6Godberg D.E.Genetic Algorithms in search,Optimization and Machine Learning[M].Addison-Wesley, 1989.
  • 7Mark Glasser, Advanced Verification Methodology Cookbook, Mentor Graphics Corporation, 2007.
  • 8CMichael,G Mc Craw,M Schatz.Generating Software Test Data by Evolution[J].IEEE Transactions On Software Engineering,2001,27(12):1085-1110.
  • 9D J Berndt,A Watkins.Investigating the performance of genetic algorithm-based software test case generation[J].High Assurance Systems Engineering,2004,4(13):261-262.
  • 10D Berndt,J Fisher,L Johnson.Breeding software test cases with genetic algorithm[J].System Sciences,2003,2(1):6-9.

引证文献4

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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