Abstract:The increasing complexity of large-scale real-world programs necessitates the automation of software testing. As a basic problem in software testing, the automation of path-wise test data generation is especially important, which is in essence a constraint optimization problem solved by search strategies. Therefore, the constraint processing efficiency of the selected search algorithm is a key factor. Aiming at the increase of search efficiency, a hybrid intelligent algorithm is proposed to efficiently search the solution space of potential test data by making full use of both global and local search methods. Branch and bound is adopted for global search, which gives definite results with relatively less cost. In the search procedure for each variable, hill climbing is adopted for local search, which is enhanced with the initial values selected heuristically based on the monotonicity analysis of branching conditions. They are highly integrated by an efficient ordering method and the backtracking operation. In order to facilitate the search methods, the solution space is represented as state space. Experimental results show that the proposed method outperformed some other methods used in test data generation. The heuristic initial value selection strategy improves the search efficiency greatly and makes the search basically backtrack-free. The results also demonstrate that the proposed method is applicable in engineering.

Intelligent Test Case Generation Based on Branch and Bound

Branch and bound framework for automatic test case generation

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

An Intelligent Method Based on State Space Search for Automatic Test Case Generation.

A regression test case generation method guided with branch probability

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

A Search Strategy Guided by Uncovered Branches for Concolic Testing

Automatic Test Data Generation Algorithm on Branch Coverage

Manifold-Inspired Search-Based Algorithm for Automated Test Case Generation

Scalable Path Search for Automated Test Case Generation

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

A Hybrid Backtracking Algorithm for Automatic Test Data Generation

A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation

Path Constraint Solving Based Test Generation for Observability-Enhanced Branch Coverage.

An Efficient Method for Automatic Generation of Linearly Independent Paths in White-box Testing

Path-oriented Test Cases Generation Based Adaptive Genetic Algorithm

Automatic Test Case Generation and Optimization Strategies Based on Components with Sequential Constraints

Test Generation for Programs with Binary Tree Structure As Input.

A Method of Test Case Generation Based on Necessary Interval Set

Constraint Test Cases Generation Based On Particle Swarm Optimization

Automated Generation of Test Cases Based on Path Optimization Algorithm