Abstract:Automatic generation of test data for a given path in a program is one of the primary problems in software testing, which can be described informally as: given a program P and a path W in P, let the input space of P be D, compute ②x② in D, such that when P executes on x, path W will be traversed. The difficulty of this problem lies in the fact that how to solve nonlinear constraint is unsolvable in theory. Gupta et al proposed a method, which is referred to as the Gupta Method in this paper, to address the above problem by linearizing the predicate functions with linear arithmetic representations. The Gupta Method has to analyze the static and dynamic data dependencies between the statements on W, and construct predicate slices and input dependency sets.This paper improves the Gupta Method by omitting the constructions of predicate slices and input dependency sets. Furthermore, when the divided differences are used to approximate to the derivatives that are coefficients in linear arithmetic representations, computing linear arithmetic representations is converted to compute predicate residuals completely, which needs to analyze neither static nor dynamic data dependencies between the statements on W. The improved method is more efficient to derive linear constraints.A model language is given to investigate the properties of static and dynamic data dependencies and define the notions in the Gupta Method formally. The predicate slices proposed by Gupta et al are generalized to path-wise static slices, and the soundness of whose construction algorithm is proved then. The soundness of the improvement is proved too.A prototype of path-wise test data generator has been developed, whose fundamental algorithm is the improved Gupta Method. The initial experiments carried out on this prototype with actual program paths have shown that the improved Gupta Method is practical and can be used to generate test data for not only both white-box testing and black-box testing but also assertion-oriented testing and regression testing.

Improvement of the Gupta Method

Improved Method to Generate Path-Wise Test Data

Consistency Analysis and Improvement of Linear Constraint System in the Gupta Method

Path-Based Automatic Test Data Generation Approach

Automated Test Data Generation Based on Program Execution

A Scheme on Automated Test Data Generation and Its Evaluation

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

Automatic Test Data Generation for Multiple Paths and Its Applications

Automatic Test Data Generation Algorithm on Branch Coverage

Fault Localization and Test Oracle Generation Based on the Mutual Pattern of Discrete Path Variables

Test Data Generation of Deterministic MPI Parallel Program Based on Path Coverage

An Improved Algorithm for Basis Path Testing

Data Automatic Generation Approach for Path Test

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

An Approach to Generate Software Test Data for a Specific Path Automatically with Genetic Algorithm

Exploring Multiple-Objective Optimization for Efficient and Effective Test Paper Design with Dynamic Programming Guided Genetic Algorithm

Generating Test Data for Path Coverage Based on Genetic Algorithm

Search-Based Software Test Data Generation for Path Coverage Based on a Feedback-Directed Mechanism

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

DiffGen: Automated Unit Test Generation for Regression Testing

A Novel Method of Grouping Target Paths for Parallel Programs