线性算术表示相关论文
通过构造新的程序流图，利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念，并给出了代价的......
提出了一种新的带数组和循环的路径测试数据自动生成的方法。该方法只考虑数组中与路径中谓词函数有关的数组元素，将循环中的同一变......
提出了一种新的基于路径测试数据自动生成的算法. 该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量......
