一种基于路径的测试数据自动生成算法

提出了一种新的基于路径测试数据自动生成的算法，该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束，仅当谓词函数是输入变量的非线性函数时，才计算其线性算术表示，因而不必计算所有谓词函数的线性算术表示，也不必计算谓词片和确定输入依赖集，以及构造谓词函数关于输入变量的增量的线性约束，理论分析和实例证明，该算法具有简单、容易、有效且计算量小等特点。

Path-Based Automatic Test Data Generation Approach

A new approach to path-based automatic test data generation is presented. The linear predicate function on a given path is directly used as linear arithmetic representation to construct linear constrains of predicate functions for input variables. Only if the predicate function is nonlinear, the linear arithmetic representation needs to be computed. The constructions of predicate slice, input dependency set and the linear constraint of predicate function on the increments for the input are no longer needed. Theoretical analysis and practical test show that this approach is simple effective, and takes less computation.