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.
本文提出了一种基于双约束传播的程序输入域自动确定方法和测试数据自动生成方法,并在此基础上,设计并实现了一个基于输入域的自动测试数据生成系统。
参考来源 - 基于程序理解的输入域确定及测试数据自动生成方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐