软件应用领域的不断扩大以及软件规模与复杂性的不断增加,给软件测试提出了更高的要求。软件测试自动化是提高软件测试效率的有效手段。测试数据自动生成是软件测试自动化的关键,输入域自动确定则是测试数据自动生成的重要前提,因此,研究程序输入域的自动确定方法以及测试数据的自动生成方法,具有重要的理论意义和广阔的应用前景。本文提出了一种基于双约束传播的程序输入域自动确定方法和测试数据自动生成方法,并在此基础上,设计并实现了一个基于输入域的自动测试数据生成系统。本文从程序代码出发,通过程序理解生成约束集,再利用双约束传播方法求解约束集,得到程序路径输入域,并提出了一种用多个子区间表示程序输入域的方法,扩展了区间算术对多子区间的支持,为测试数据自动生成方法的研究奠定了基础。基于输入域的测试数据自动生成主要包括测试策略选择和测试数据生成两个过程,它以命令脚本中的程序输入域和测试数据生成策略为输入,并由命令脚本中的命令驱动测试数据的自动生成。本文设计开发的基于程序理解的测试数据自动生成系统以输入域自动确定和测试数据自动生成为关键过程,实验结果表明,该系统能够自动实现程序输入域的确定和基于输入域的测试数据生成,是确实可行的。