在程序测试中,测试数据生成是发现满足某种测试准则的数据,而在多种测试准则中,分支覆盖准则是最有效的,但是在运用分支覆盖准则的过程中,如果程序控制流图的分支数大于10,在不包括循环的情况下,其完整路径数将多于2~L,测试将变得比较困难。针对这种情况,本文引进程序块划分法。程序块划分方法是通过对程序进行结构划分,使测试在程序块级别上独立进行。在程序块内,运用支配树图和蕴含树图静态产生路径。这样产生的完整路径数目远小于未分以前的路径的数目,大大增强了测试的可行性。本文在运用支配树图和蕴含树图静态产生路径时,引进最小路径测试子集算法,该算法可有效地生成从入口到出口且覆盖非约束边的路径子集。然后结合Length_N路径覆盖准则获得完整路径表(CFG_PT)。最后给出了一种新的基于GEMGA的面向路径的测试数据自动生成方法。GEMGA不需要模式排列的先验知识,能清楚地定义关系,类和样本空间,优化适应度函数,最终提高测试覆盖率。针对动态测试中发现的路径问题,结合GEMGA算法对路径问题改进。本文运用GEMGA在生成测试数据模拟试验中,使算法到达目标节点的取值范围显著扩大,增加了指定测试路径的覆盖率。与简单遗传算法比较,GEMGA的测试数据自动生成效率明显提高,并且适用于自动生成大型程序的测试数据。