期刊文献+

基于搜索的面向路径字符串测试数据自动生成方法 被引量:5

Search-Based Automatic Path Test Generation Method for Character String Data
下载PDF
导出
摘要 针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与初始输入、路径处理顺序之间的关系,并与遗传算法等几种算法进行了比较.实验结果表明:该方法是一种更经济有效的测试数据生成方法. Aiming at the automatic test generation for character string data, this paper defines the distance between two strings. A real-valued objective function is constructed with respect to the string predicate which does not meet a given path condition, and its minimum is computed by using a speedy descent search algorithm. As a result, path-oriented string test data can be automatically generated. In addition, this paper investigates the relations among test generation effectiveness and original inputs as well as path orders processed, and the test generation effectiveness is compared with other three algorithms such as the genetic algorithm. The experimental results illustrated that this approach is more economical and effective.
作者 赵瑞莲
出处 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第5期671-677,共7页 Journal of Computer-Aided Design & Computer Graphics
基金 国家自然科学基金(60473032) 北京市自然科学基金(4072021) 中国科学院软件研究所计算机科学国家重点实验室开放课题基金(SYSKF0605)
关键词 路径测试数据生成 字符串数据 字符串间距离 快速下降搜索算法 path test data generation character string data distance between strings speedy descent search algorithm
  • 相关文献

参考文献10

  • 1Gotieb A, Petit M. Path-oriented random testing [C]// Proceedings of the 1st International Workshop on Random Testing (RT'06), Portland, 2006:28-35 被引量:1
  • 2Lee G, Morris J, Parker K, et al. Using symbolic exeeution to guide test generation [J]. Journal of Software Testing, Verification and Reliability, 2005, 15(1): 41-61 被引量:1
  • 3Bueno P M S, Jino M. Automatic test data generation for program paths using genetic algorithms [J]. International Journal of Software Engineering and Knowledge Engineering, 2002, 12(6):691-709 被引量:1
  • 4Mansour N, Salame M. Data generation for path testing [J]. Software Quality Journal, 2004, 12(2): 121-136 被引量:1
  • 5Harman M, Hu L, Hierons R M, et al. Testability transformation [J].IEEE Transactions on Software Engineering, 2004, 30(1): 3-16 被引量:1
  • 6Jeng B, Weyuker E J. A simplified domain-testing strategy [J]. ACM Transactions on Software Engineering and Methodology, 1994, 3(3):254-270 被引量:1
  • 7Alshraideh M, Bottaci L. Search-based software test data generation for string data using program-specific search operators[J]. Software Testing Veri{ication and Reliability, 2006, 16(3):175-203 被引量:1
  • 8McMinn P. Search-based software test data generation: a survey [J]. Software Testing, Verification and Reliability, 2004, 14(2): 105-156 被引量:1
  • 9薛云志,陈伟,王永吉,赵琛,王青.一种基于Messy GA的结构测试数据自动生成方法[J].软件学报,2006,17(8):1688-1697. 被引量:14
  • 10Marick B. The craft of software testing[M]. Englewood Cliffs, New Jersey:PTR Prentice Hall, 1995:260 被引量:1

二级参考文献22

  • 1Shi ZZ.Knowledge Discovery.Beijing:Tsinghua University Press,2002.266-286. 被引量:1
  • 2Berndt D,Fisher J,Joshson L.Breeding software test cases with genetic algorithms.In:Sprague RH,ed.Proc.of the Int'l Conf.on System Sciences.Big Island:IEEE Computer Society Press,2003.338a. 被引量:1
  • 3Khor S,Grogono P.Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically.In:Grünbacher P,Wiels V,Stirewalt K,eds.Proc.of the Int'l Conf.on Automated Software Engineering.Linz:IEEE Computer Society Press,2004.346-349. 被引量:1
  • 4Berndt DJ,Watkins A.Investigating the performance of genetic algorithm-based software test case generation.In:Ramamoorthy CV,ed.Proc.of the Int'l Symp.on High Assurance Systems Engineering.Tampa Florida:IEEE Computer Society Press,2004.261-262. 被引量:1
  • 5Kargupta H.The gene expression messy genetic algorithm.In:Proc.of the Int'l Conf.on Evolutionary Computation.Nagoya:IEEE Computer Society Press,1996.814-819. 被引量:1
  • 6Zaritsky A,Sipper M.The preservation of favoured building blocks in the struggle for fitness:The puzzle algorithm.IEEE Trans.on Evolutionary Computation,2004,8(5):443-455. 被引量:1
  • 7Deason WH,Brown DB,Chang KH,Cross II JH.A rule-based software test data generator.IEEE Trans.on Knowledge and Data Engineering,1991,3(1):108-117. 被引量:1
  • 8Harman M,Hu L,Hieros R,Wegener J,Sthamer H,Baresel A,Roper M.Testability transformation.IEEE Trans.on Software Engineering,2004,30(1):3-16. 被引量:1
  • 9Jorgenson PC.Software Testing:A Craftsman's Approach.2nd ed.Beijing:Machine Press,2003.5-7. 被引量:1
  • 10Pargas RP,Harrold MJ.Test data generation using genetic algorithms.Journal of Software Testing,Verification and Reliability,1999,9(4):263-282. 被引量:1

共引文献13

同被引文献35

  • 1傅博.基于蚁群算法的软件测试数据自动生成[J].计算机工程与应用,2007,43(12):97-99. 被引量:32
  • 2Mala D J, Mohan V. Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach [J]. ACM SIGSOFT Software Engineering Notes, 2010, 35 (3) : 1-14. 被引量:1
  • 3Lin M X, Chen Y L, Yu K, et al. Lazy symbolic execution for test data generation [J]. IET Software, 2011, 5 (2) : 132-141. 被引量:1
  • 4Gallagher M J, Lakshmi Narasimhan V. ADTEST:a test data generation suite for Ada software systems [J]. IEEE Transactions on Software Engineering, 1997, 23(8) : 473-484. 被引量:1
  • 5Chen Y, Zhong Y. Experimental study on GA-based path- oriented test data generation using branch distance [C] // Proceedings of the 3rd International Conference on Intelligent Information Technology Application. Piscataway: 1EEE Computer Society Press, 2009:216-219. 被引量:1
  • 6Denmat T, Gotlieh A, Ducasse M. Improving constraint- based testing with dynamic linear relaxations [C]// Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering. Los Alamitos: IEEE Computer Society Press, 2007:181-190. 被引量:1
  • 7Zhang J, Chen X, Wang X L. Path-oriented test data generation using symbolic execution and constraint solving techniques [C]//Proceedings of the 2nd International Conference on Software Engineering and Formal Methods. Los Alamitos: IEEE Computer Society Press, 2004: 242-250. 被引量:1
  • 8Romano D, Di Penta M, Antoniol G. An approach for searchbased testing of null pointer exceptions [C] //Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation. Los Alamitos: IEEE Computer Society Press, 2011: 160-169. 被引量:1
  • 9Korel B. Automated software test data generation [J]. IEEE Transactions on Software Engineering, 1990, 16(8) :870-879. 被引量:1
  • 10Visvanathan S, Gupta N. Generating test data for functions with pointer inputs [C] //Proceedings of the 17th IEEE International Conference on Automated Software Engineering. Los Alamitos: IEEE Computer Society Press, 2002:149-160. 被引量:1

引证文献5

二级引证文献40

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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