JavaScript在现代Web应用程序中扮演着重要角色。作为一门动态语言,它能动态添加、删除对象属性,方便相关技术人员快速开发Web应用。但这些动态特性也会导致Web应用易于产生意外行为,故基于JavaScript的Web应用测试工作十分重要。目前JavaScript Web应用的测试方法存在测试用例冗余、代码覆盖率不高、测试效率低下等问题。针对上述问题,本文深入研究基于JavaScript的Web应用测试,提出一种基于有限状态机模型的深度优先自动化测试方法。本工作的主要贡献有以下四点:动静态结合的模型构造:本文通过动态执行被测程序提取事件,结合静态程序分析的事件依赖信息选择事件,动态构造有限状态机模型。两种事件选择策略:对于构造模型的可执行事件选择,本文提出了随机和基于权重两种事件选择策略,使得事件选择更为有效,模型构造更加完备。两种自动化测试用例生成方法:在构造模型基础上,本文提出了随机生成测试用例方法和深度优先且伴随约减的生成方法,代码覆盖率显著提升。自动化测试工具:基于以上工作,设计并实现工具LongJS,并使用该工具在21个实际Web应用上执行测试,进行多组实验。实验数据表明,LongJS与目前较为流行的自动化测试工具Artemis+JSdep相比,在测试覆盖率和测试效率方面均有显著提高。