Abstract:Automated test case generation based on path coverage (ATCG-PC) is a black-box optimization problem whose difficulty is attributed to the one-to-many relationship between path and test cases. It results in a large number of redundant function evaluations in the search process of algorithms for ATCG-PC. To minimize the redundant function evaluations for solving ATCG-PC, the equivalent mapping subspaces are defined to decompose the search space according to the paths. Inspired by the data distribution hypothesis, we assume that the target path can be covered by searching in one neighborhood of a test case (equivalent mapping subspace) instead of the whole search space. This article presents a manifold-inspired search-based algorithm that finds the equivalent mapping subspaces with the test-case-path relationship matrix. Furthermore, the algorithm generates test cases covering all possible paths by searching in the found subspaces. The experimental results show the proposed algorithm has significantly lower function evaluation consumption than the state-of-the-art algorithms with the highest path coverage rate in two open-source toolkits and 16 open-source real-world programs. Several orders of magnitude of function evaluations can be saved by searching in the found equivalent mapping subspaces instead of exploring the whole search space.

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

An Improved Algorithm for Basis Path Testing

Automated Generation of Test Cases Based on Path Optimization Algorithm

Data Automatic Generation Approach for Path Test

White Box Test Basic Path Algorithm

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

Scalable Path Search for Automated Test Case Generation

Whole Program Paths Generation Method

A Research on Basis Path Auto-acquire Method Without Infeasible Path

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

Optimization of White Box Testing by Utilizing Branching and Repeating Structures in Java Programs Using Base Path

Automatic Test Transition Paths Generation Approach from EFSM Using State Tree

Automated Test Path Generation Based on State Diagram

Intelligent Test Case Generation Based on Branch and Bound

Automatic Generation Algorithm of the Control Flow Graph

Research on Automatic Generation of Test Data for Multi-Path Coverage

Automated Test Data Generation Based on Program Execution

A Research of Dd Path Automatically Generated System

A Test Case Auto Generation Algorithm Based On Sensitive Path Of Program With Taint Analysis And Symbolic Execution

Test Cases Automatic Generation Based on Path-oriented Algorithm Generation

Automatic Test Data Generation Algorithm on Branch Coverage