论文部分内容阅读
由分析一些存在测试数据产生方法，一条新自动化测试数据产生途径被介绍。一条给定的路径上的线性谓词函数直接习惯于构造一线性为输入变量抑制系统。仅仅当谓词功能是非线性的时，线性算术表示需要被计算。如果给定的路径上的全部谓词功能是线性的，路径是不能实行的需要的测试数据或保证能从 constrain 系统的答案被得到。否则，为输入的反复的精制被要求获得需要的测试数据。理论分析和测试结果证明途径简单、有效，并且拿更少的计算。计划能也被用来与数组和环为程序产生基于路径的测试数据。