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 Algorithm for Calculating the Branch Routes of an Assembly Program in Software Coverage Testing

Effective code coverage in compositional systematic dynamic testing

Automatic Test Data Generation Algorithm on Branch Coverage

Novel Method of Control Flow and Structural Coverage Measurement for Object Code Verification

A Search Strategy Guided by Uncovered Branches for Concolic Testing

Simplified Branch Marking Algorithm Based on Decision-to-Decision Graph

Towards exhaustive branch coverage with PathCrawler

Application of Assembly State Vector in Assembly Sequence Planning

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

Defect detection for assembly codes based on static analysis

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

White Box Test Basic Path Algorithm

Control Flow Paths Subset of Tested Program Generation Algorithm Based on LCC

Measuring C Program Coverage Based on Binary Decision Diagrams

Structuring 2-way Branches in Binary Executables

An Automatic Test Coverage Analysis For Systemc Description Using Aspect-Oriented Programming

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution

A regression test case generation method guided with branch probability

Analysis of the Infeasible Path Based on Key Branch

Software Vulnerability Detection Based on Code Coverage and Test Cost.

A Novel Polynomial-Time Algorithm for Automatic Layout of Branching Cables in a Fixed Topology