随着软件产业的飞速发展,软件规模及软件复杂度与日俱增,软件测试作为保证软件质量的关键技术,已经受到越来越多的关注。自动化测试的出现和发展使软件测试进入了一个崭新时期,极大地提高了软件测试的速度和效率,自动化测试技术和方法已逐渐成为学术界和工业界研究的重点。本文介绍了软件测试理论和自动化测试技术的发展,并对基于规格说明的测试以及数据驱动测试技术进行了详细的论述,在此基础上提出了一个基于UML状态图的自动化测试框架,框架的核心构成包括测试用例自动生成,测试脚本的生成、管理与执行。对于测试用例的生成,引入代码测试中的函数最小化思想,依据边界测试准则提出ON-OFF测试数据搜索算法生成测试数据,采用记忆化搜索高效生成测试用例,生成的测试用例满足转移覆盖准则,同时开发实现了一个测试用例自动生成工具；对于测试脚本的生成、管理与执行,提出了一个三层的自动化测试架构,采用模块化设计,数据驱动的指导思想,实现了业务层、脚本层和数据层的分离,提高了自动化开发的效率,减少了建立和维护脚本的成本；最后,将该测试框架应用于Web应用程序HDPOS5,选取其核心模块进行测试,从而验证了框架的可行性和实用价值。