%0 Journal Article
%T 面向路径的测试数据自动生成方法述评
%A 单锦辉
%A 王戟
%A 齐治昌
%J 电子学报
%P 109-113
%D 2004
%X 为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题.求解该问题的实质在于约束系统的建立和求解,其主要困难之一在于非线性约束求解是一个理论上困难的问题.文中将面向路径的测试数据自动生成方法分为四类——随机法、静态法、动态法和试探法,分析和比较了每一类中有代表性的方法,并探讨了研究方向.
%K 测试数据自动生成
%K 程序路径
%K 约束求解
%K 数值优化
%U http://www.ejournal.org.cn/CN/abstract/abstract1682.shtml