随着Web应用广泛进入教育、银行、航空、电子商务等领域,系统的规模急剧扩大,业务逻辑和流程变得复杂,Web功能测试的作用也显得越来越重要。面对系统规模的增大及复杂性的提高,Web功能测试需要更完善的系统方法和测试模型,以便有效地展开自动化测试。虽然现在已经有一些Web测试模型,但是它们主要从交互导航、系统结构等角度进行建模,并不适用于功能测试,而且大部分模型与实际工程应用之间存在一定的差距。针对这些问题,本文对Web功能测试进行了建模,并与实际应用相结合,开发了一个Web功能测试工具。该工具可以较全面地测试Web应用程序的各类缺陷,并扩大测试覆盖率。本文的主要工作包括:(1)提出了一种Web功能测试模型。对Web应用中的实体对象进行划分,结合有限状态机理论对Web功能测试进行建模,以形式化的方式描述了Web功能测试在测试用例驱动下的行为,较好地体现出其动态交互特征。(2)设计了两种基于XML的语言:FFSMDL和TCDL。这两种语言分别用于定义Web功能测试模型和描述测试用例,实现了从模型到测试脚本的转换,是该模型和测试工具之间的桥梁。(3)基于以上工作实现了一个Web功能测试工具。它用于解析出测试人员定义的测试模型,找出所有可能的测试路径,结合测试用例产生可执行的测试脚本,并自动执行测试。该方法在测试人员定义功能测试模型和测试用例的基础上,实现了Web功能测试自动化。它能够针对Web应用程序的各类缺陷进行检测,包括遗漏的以及不符合规格说明的功能。同时,它改善了传统测试方法中测试用例与测试脚本紧密结合的情况,实现了测试用例的可重用,并减小了规格说明和UI的频繁变动对测试工具或录制脚本的健壮性造成的影响。