10.3321/j.issn:1001-0920.2005.09.022
一种基于路径的测试数据自动生成算法
提出了一种新的基于路径测试数据自动生成的算法. 该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线性函数时,才计算其线性算术表示. 因而不必计算所有谓词函数的线性算术表示,也不必计算谓词片和确定输入依赖集,以及构造谓词函数关于输入变量的增量的线性约束. 理论分析和实例证明,该算法具有简单、容易、有效且计算量小等特点.
谓词函数、线性约束、线性算术表示、输入变量
20
TP311(计算技术、计算机技术)
国家高技术研究发展计划863计划2003AA1Z2610
2005-11-03(万方平台首次上网日期,不代表论文的发表时间)
共4页
1065-1068