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.

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

Intelligent Test Case Generation Based on Branch and Bound

Branch and bound framework for automatic test case generation

A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation

Scalable Path Search for Automated Test Case Generation

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

Automated Test Case Generation Based on Improved Tabu Search Algorithm

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

A Hybrid Backtracking Algorithm for Automatic Test Data Generation

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

Automatic Test Case Generation Method Based on UML State Diagram

An Orchestrated Survey of Methodologies for Automated Software Test Case Generation.

A New Approach of Automated Test Case Generation on Extended Finite State Machine

Search-Based Algorithm with Scatter Search Strategy for Automated Test Case Generation of NLP Toolkit

Search Based Combinatorial Testing

A Generation Method of Automation Test Cases Based on Android

A search-based approach for test suite generation from extended finite state machines

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

A Test Case Generation Method Based on State Importance of EFSM for Web Application.

An Automate Test Case Generation Approach: Using Match Technique.

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis