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