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

来源期刊：控制与决策2005年第9期

论文作者：陈继锋 朱利 沈钧毅 陈玲

文章页码：1065 - 1068

关键词：谓词函数;线性约束;线性算术表示;输入变量;

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