期刊文献+

一种新的软件测试数据的进化生成方法 被引量:3

A New Software Method to Design Test Data
下载PDF
导出
摘要 测试数据自动生成对降低软件开发成本是非常重要的。本文首先提出了基于程序结构和程序规范相结合来设计适应度函数的新方法:分别设计基于程序结构和基于程序规范的适值函数,再将二者结合作为最终的适应度函数值;然后,在采用上述适应度函数定义的基础上,构造了一种软件测试数据的进化生成方法。 Automated generation of test data is very important to reduce the cost of software development. Genetic Algorithm is a well-used method to generate the test data and its key kernel lies in the design of fitness function. This article proposed a new method to design fitness function based on program structure and program criterion. The concrete way is designing fitness function based on the program structure and program criterion respectively, and then combining the twos as final fitness function. The experimental results show that this method can produce test data set with high program coverage level and enhance the ability of detecting error.
出处 《微计算机信息》 北大核心 2007年第21期249-251,共3页 Control & Automation
基金 河南省自然科学基金资助(0324220079)
关键词 程序结构 程序规范 测试数据 适应度函数 program structure, program criterion, test data, fitness function
  • 相关文献

参考文献8

  • 1沈昌松,朱建方,罗晓沛.软件测试用例的设计[J].微计算机信息,2001,17(2):48-49. 被引量:12
  • 2OpenMP C and C++Application Program Interface (Version 2.0)[EB/OL].http://www.openmp.org,2002-03.
  • 3张克东 庄燕滨.软件工程与软件测试自动化教程[M].北京:电子工业出版社,2000..
  • 4Christoph C.Michael,Gary E.McGraw,Michael A.Schatz,CurtisC.Walton.Genetic Algorithms for Dynamic Test Data Generation.RST Corporation Suite #3}[R]0,2I S I 5 Ridgetop Circle Sterling,VA 20166 Versionl.1,May 23,1997.
  • 5Roy P.Pargas,Mary Jean Harrold,Robert R.Peck.Test Data Generating Using Genetic Algorithms.[J] Journal of Software Testing,Verification and Reliability.1999,to appear,Wiley copyright.
  • 6Ferguaon R,Korel R.Software test data generation using the chaining approach.[C] In:Intel Test Conf,Washington,1995.703 -709.
  • 7Luay H.Tahat Boris Vaysburg and Bogdan Korel.Requirement-Based Automated Black-Box Test Generation.[C]IEEE 2001.
  • 8Offutt,A.J.A Practical System for Mutation Testing:Help for the Common Programmer.in the proceedings of the Twelfth International Conference on Computer Software[C],Washington,D.C.,June 1995,pp.99-109.

二级参考文献5

  • 1SDS Debugger User Manual V7.2 1999
  • 2Diab Data Compiler User Manual V4.2b 1999
  • 3James. Vincent, Software Quality Assurance: Volume I ,Practice and Implementation, Prentice-Hall, 1988
  • 4Glenford J.Myers The Art of Software Testing. John Wiley&Sons, Inc. 1979
  • 5pSOSystem V2.2.3 User Manual for ColdFire Documentation 1999

共引文献14

同被引文献17

  • 1MCGRAW GE, MICHEAL C, SCHATZ M. Generating Software Test Data by Evolution [J].IEEE Transaction on Software Engineering, 2001, 27(12): 1085-1110.
  • 2MICHAEL C, MCGRAW G. Automated Software Test Data Generation for Complex Programs.13th IEEE International Conference on Automated Software Engineering, 1998[C][S.l.].1998:136-146.
  • 3STHAMER HH. The Automatic Generation of Software Test Data Using Genetic Algorithms [D]. Glamorgan: the University of Glamorgan, 1995.
  • 4Kalpesh K,Jonathan B.Experimental Evaluation of the Variation in Effectiveness for DC,FPC and MC/DC Test Criteria [J]. Proceedings of the 2003 International Symposium on Empiriacal Software Engineering(ISESE' 03).
  • 5Sanjai Rayadurgam,Mats P.E..Generating MC/DC Adequate Test Sequences Through Model Checking [J].Proceedings of the 28th Annual NASA Goddard Software Engineering Workshop (SEW'03).
  • 6Alexander Pretschner.Compositional Generation ot MC/DC Integration Test Suites [J/OL]. http://www.elsevier.nl/locate/entcs/ volume82.html.
  • 7Kelly Hayhurst J,Dan Veerhusen S.A practical tutorial on modified condition/decision coverage[M].DRAFT2.6 NASA/TM,2001.
  • 8郑平,许胜.基于MC/DC准则的确认测试用例生成方法[J].现代电子技术,2007,30(16):114-117. 被引量:1
  • 9张国英,何元娇.人工智能知识体系及学科综述[J].计算机教育,2010(8):25-28. 被引量:11
  • 10陈骋,马晓岩,杨瑞娟,梁桃.基于遗传算法的多功能电子系统任务调度[J].现代防御技术,2013,41(4):68-73. 被引量:3

引证文献3

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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