期刊文献+

新的结构化测试数据自动生成方法 被引量:1

New automated approach for structural test data generation
在线阅读 下载PDF
导出
摘要 针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结果说明了该方法的可行性。根据得到的测试路径将GEMGA应用到测试数据的自动生成,TriType的实验结果表明,GEMGA能生成更高质量的数据,并适用于较大规模的程序。 The limitations of simulated annealing and genetic algorithms applied to test data generation automatically are investigated, and an automated approach based on GEMGA for generating such data is proposed. A method that a control flow graph combined with a data flow graph generates the feasible path to avoid the important computation for the infeasible path is proposed. The preliminary analysis results show that the method is practical from the view of the software engineering practice. Based on GEMGA, solving F(X) for the branch function of the generated feasible path and comparison with other automated testing methods, the experimental results of TriType show that it can generate higher quality test data more efficiently, and can be applied to larger applications.
出处 《计算机工程与设计》 CSCD 北大核心 2008年第10期2581-2586,共6页 Computer Engineering and Design
基金 国家自然科学基金项目(50675059) 国家863高技术研究发展计划基金项目(2006AA042109) 教育部博士点基金项目(20060080002) 天津市自然基金项目(07JCZDJC08900)
关键词 数据流图 控制流图 结构测试 测试数据 基因表达散乱遗传算法 黑盒优化 搜索被构想为按级别排列的联系和类的框架 串链方法 control flow graph data flow graph structural test test data GEMGA BBO search envisioned as relation and class hierarchizing (SEARCH) chaining approach
  • 相关文献

参考文献4

二级参考文献51

  • 1刘勇,曾明,朱利,陈继峰,严建伟.基于数据流的软件测试序列自动生成技术研究[J].微电子学与计算机,2005,22(5):131-135. 被引量:10
  • 2Gupta N, Mathur A P, Soffa M L. Automated test data generation using an iterative relaxation method. In: Proc ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering, FSE-6 SIGSOFT' 98, Orlando, Florida, 1998. 231-244
  • 3Weyuker E J. The applicability of program schema results to programs. International Journal of Computer Information Sci ences, 1979, 8(5): 387-403
  • 4Weiser M. Program slicing. IEEE Trans Software Engineering, 1984, SE-10(4): 352-357
  • 5Korel B. Computation of dynamic program slices for unstruc tured programs. IEEE Trans Software Engineering, 1997, 23 (1): 17-33
  • 6Loeckx J, Sieber K. The Foundations of Program Verification. 2nd Ed. New York: John Wiley & Sons, 1987
  • 7Korel B. Automated software test data generation. IEEE Trans Software Engineering, 1990, 16(8): 870-879
  • 8Shan J H, Wang J, Qi Z C. Time cost and space cost analysis in deriving systems of linear constraints in the Gupta Method and its improvement. Technical Report: NUDT-CS-02-2002 01, School of Computer, National University of Defense Technology, 2002(in Chinese)(单锦辉,王戟,齐治昌.Gupta方法及其改进后的方法构造线性约束系统的时空开销分析.国防科学技术大学计算机学院技术报告,2002)
  • 9Gupta N, Mathur A P, Soffa M L. UNA based iterative testdata generation and its evaluation. In: Proc 14th IEEE Inter national conference on Automated Software Engineering. CocoaBeach, Florida, 1999. 224-232
  • 10Shan J H, Wang J, Qi Z C. On path-wise automatic generation of test data for both white-box and black-box testing. In: Proc 8th Asia-Pacific Software Engineering Conference (APSEC' 2001). University of Macao, Macao SAR, China, 2001. 237-240

共引文献29

同被引文献8

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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