Test Generation for Programs with Binary Tree Structure as Input
Test Generation for Programs with Binary Tree Structure as Input
复制标题
以二叉树结构作为输入的程序的测试生成
DOI：
10.1142/s0218194015500205
复制
发表时间：
2015-12
影响因子：
0.9
通讯作者：
Wang Qian
中科院分区：
文献类型：
--
作者：
Zhao Ruilian;Li Zheng;Wang Qian
测试数据生成是创建满足特定测试标准的程序输入的过程。许多工作都专注于数字和字符串数据的测试生成。动态数据结构，如树和链表，已广泛应用于现代编程中，但对其的研究很少。一般来说，生成动态数据结构与正确的形状和有效值的生成相关。生成这样的动态数据结构是很困难的，因为形状和值必须同时有效。本文重点关注二叉树结构，并提出了一种新颖的测试生成方法，该方法将基于搜索的测试与约束求解技术相结合。该方法使用遗传算法创建二叉树结构的形状，并使用约束求解技术生成其数据字段中的值。实验结果表明所提出的方法是有前途且有效的。此外，研究还调查了影响该方法性能的因素，并得出了这样的结论：随着指针约束数量的增加，测试生成成本呈三次增长。
Test data generation is a process of creating program inputs that satisfy specific testing criteria. Many works have been focused on test generation with respect to numeric and string data. Dynamic data structures, such as trees and linked lists, have been widely used in modern programming, but on which there are few studies presented. In general, generating a dynamic data structure is associated with a proper shape and valid values generation. It would be difficult to generate such dynamic data structures, as both shapes and values are necessary to be valid simultaneously. This paper focuses on binary tree structures and proposes a novel test generation approach that combines search based testing with constraint solving techniques. The approach creates the shapes of binary tree structures by using GA, and generates the values in their data fields by using constraint solving techniques. The experimental results show that the presented approach is promising and effective. Moreover, the studies investigate factors affecting the performance of the approach, and arrive at a conclusion that the test generation cost is cubic growing as the number of pointer constraints increases.
登录
查看更多内容
DOI：
10.1109/icse.2007.48
发表时间：
2007-05
期刊：
29th International Conference on Software Engineering (ICSE'07)
影响因子：
--
作者：
Aleksandar Milicevic;Sasa Misailovic;D. Marinov;S. Khurshid
通讯作者：
Aleksandar Milicevic;Sasa Misailovic;D. Marinov;S. Khurshid
DOI：
10.1002/stvr.388
发表时间：
2009-03
期刊：
Software Testing
影响因子：
--
作者：
I. Chung;J. Bieman
通讯作者：
I. Chung;J. Bieman
DOI：
10.1109/ase.2003.1240327
发表时间：
2003-10
期刊：
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.
影响因子：
--
作者：
Eugenia Díaz;J. Tuya;Raquel Blanco
通讯作者：
Eugenia Díaz;J. Tuya;Raquel Blanco
DOI：
10.1109/sera.2007.59
发表时间：
2007-08
期刊：
5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)
影响因子：
--
作者：
Ruilian Zhao;Qing Li
通讯作者：
Ruilian Zhao;Qing Li
DOI：
--
发表时间：
2005
期刊：
--
影响因子：
--
作者：
D. Marinov
通讯作者：
D. Marinov