随着计算机软件行业迅速发展,需求日益复杂,软件产品质量的提高变得越来越重要,已成为人们关注的焦点。软件测试是保证软件质量最重要的手段,也逐渐成为软件开发过程的重要阶段。随着软件规模越来越大,结构越来越复杂,测试成本相对提高。软件测试自动化已成为提高测试效率,降低测试成本的重要手段,其最关键的难点之一是测试用例的自动生成。面向对象软件代码重用率高,需要严格的测试以保证软件质量。但传统的面向过程软件测试技术不适用于面向对象软件的测试,因此随之出现了基于模型的测试研究。这类模型主要包括UML,(统一建模语言)模型、LTS(标号迁移系统)模型和EFSM(可扩展有限状态机)模型等,能够表达软件系统的一系列活动集合。EFSM模型可以精确刻画软件系统的动态行为,已被广泛的应用于描述面向对象软件的对象行为及对象间的交互。因此,针对EFSM模型,探讨测试用例的自动生成具有重要的理论意义和实用价值。EFSM模型的测试用例生成包括测试路径生成和测试数据生成两部分。目前,针对EFSM模型的测试研究大多集中于测试路径自动生成。为探索路径上测试数据的自动生成,本文提出了一种面向EFSM路径,利用禁忌搜索策略实现其测试数据自动生成的方法,成功生成了测试数据。在此基础上,通过测试数据生成时间与路径不同特征因素之间关系的相关性分析,获得了影响EFSM测试数据生成效率的关键因素,并选取复杂路径通过适应度值的变化与遗传算法的测试生成效率进行了比较。实验结果表明：基于禁忌搜索的EFSM模型测试数据自动生成确实可行,并且其测试生成效率相对于遗传算法有很大提高。