double constraint propagation

A method of automatic input domain determination based on double constraint propagation and a method of automatic test data generation are proposed in this paper. On the basis of that, an automatic test data generation system is designed and implemented.
本文提出了一种基于双约束传播的程序输入域自动确定方法和测试数据自动生成方法,并在此基础上,设计并实现了一个基于输入域的自动测试数据生成系统。