Abstract:Constraint solving is a frequent, but expensive operation with symbolic execution to generate tests for a program. To improve the efficiency of test generation using constraint solving, four optimization techniques are usually applied to existing constraint solvers, which are constraint independence, constraint set simplification, constraint caching, and expression rewriting. In this paper, we conducted an empirical study, using these four constraint optimization techniques in a well known test generation tool KLEE with 77 GNU Coreutils applications, to systematically investigate how these optimization techniques affect the efficiency of test generation. The experimental results show that these constraint optimization techniques as well as their combinations cannot improve the efficiency of test generation significantly for ALL-SIZED programs. Moreover, we studied the constraint optimization techniques with respect to two static metrics, lines of code(LOC) and cyclomatic complexity(CC), of programs. The experimental results show that the "constraint set simplification" technique can improve the efficiency of test generation significantly for the programs with high LOC and CC values. The"constraint caching" optimization technique can improve the efficiency of test generation significantly for the programs with low LOC and CC values. Finally, we propose four hybrid optimization strategies and practical guidelines based on different static metrics.

An Intelligent Method for Test Data Generation Based on Optimized Interval Arithmetic

Optimized Branch and Bound for Path-wise Test Data Generation.

The Application of Iterative Interval Arithmetic in Path-Wise Test Data Generation

A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation

A Method of Test Case Generation Based on Necessary Interval Set

Path-Wise Test Data Generation Based on Heuristic Look-Ahead Methods

A Hybrid Backtracking Algorithm for Automatic Test Data Generation

Intelligent Test Case Generation Based on Branch and Bound

Path-Based Automatic Test Data Generation Approach

A Scheme on Automated Test Data Generation and Its Evaluation

Input Domain Reduction of Search-based Structural Test Data Generation Using Interval Arithmetic

Test Generation for Programs with Binary Tree Structure As Input.

Automatic Test Data Generation Algorithm on Branch Coverage

The Algorithm to Solve Equation Constraints in Automatic Test Data Generation

An Empirical Study on Constraint Optimization Techniques for Test Generation

Generating Test Data for Path Coverage Based on Genetic Algorithm

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions

Improved Method to Generate Path-Wise Test Data

Handling Constraints for Search Based Software Test Data Generation

Branch and bound framework for automatic test case generation

An Evolutionary Generation Method of Test Data for Multiple Paths Based on Coverage Balance