Test Generation for Programs with Binary Tree Structure as Input

2015 ◽  
Vol 25 (07) ◽  
pp. 1129-1151
Author(s):  
Ruilian Zhao ◽  
Zheng Li ◽  
Qian Wang
Keyword(s):  
Data Structures ◽  
Test Generation ◽  
Binary Tree ◽  
Constraint Solving ◽  
Data Generation ◽  
Dynamic Data Structures ◽  
Dynamic Data ◽  
Tree Structures ◽  
Factors Affecting ◽  
Generation Cost

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.

Automatic Test Generation for Digital Electronic Circuits

1994 ◽  
Vol 73 (2) ◽  
pp. 19-29 ◽  
Author(s):  
Tapan J. Chakraborty ◽  
Scott Davidson ◽  
Fadi Maamari ◽  
Kwang-Ting Cheng
Keyword(s):  
Test Generation ◽  
Electronic Circuits ◽  
Automatic Test Generation ◽  
Automatic Test

scholarly journals Validation and automatic test generation on UML models

2002 ◽  
Vol 66 (2) ◽  
pp. 33-49 ◽  
Author(s):  
David Lugato ◽  
Céline Bigot ◽  
Yannick Valot
Keyword(s):  
Test Generation ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Uml Models
Sign in / Sign up

Export Citation Format

Share Document