摘要：

面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松驰方法求解该问题。文献[2]改进了该方法，证明改进后的方法与原方法生成的约束系统相同，文章以改进后的方法为核心算法，根据软件工程的思想，采用面向对象的方法，使用UML进行设计，并且在Linux Red Hat7.0操作系统下用C＋＋语言 言实现一个为程序路径自动生成测试数据的原型工具，然后将它移植到Windows操作系统。

关键词: 测试数据自动生成工具 软件工具 UML 面向对象