随着Internet极快发展革新，保证Web应用质量的技术也成为了人们近年来研究的热点之一。Web应用的可靠性以及质量保证成为其中一个非常关键的问题和研究热点。软件测试则是确保软件可靠性和质量的一种主要手段。然而，对于Web应用而言，它的特性给测试带来了很大挑战。由于它具有多元化、异构性、连接多样性、动态性、控制流程可变性等特性，目前还没有比较系统的方法和工具对它进行有效的测试。因而要求对传统的测试方法进行改进或找出新的适合Web应用特性的测试方法。与此同时传统测试主要依赖测试人员的直觉和经验，耗时且代价昂贵。因此，除了迫切需要一套新的有效的Web应用测试方法外能够实现测试的自动化也很重要。由于近几年基于模型的、模型驱动的、以测试为中心的软件开发方法和技术的活跃和应用，加之形式化验证技术的逐步成熟，使得基于模型的软件测试方法与技术得到了关注。基于模型的测试以明确描述系统预期行为的抽象模型为依据，自动生成可执行的测试用例，产生测试脚本，执行测试并自动评价测试结果，是一种突破性的黑盒测试技术，实现了测试过程的自动化。该技术可以使得测试与设计实现同时进行，从而使整个软件生命期中可以并行地进行测试工作。基于模型的测试技术对Web应用测试是一种有效途径。而这方面的研究还处于探索阶段，还需要进一步深入研究。本文是以Web应用为研究对象，从UML模型以及FSM模型出发，对基于模型的测试用例生成的一系列技术进行研究（例如对测试准则以及用例生成算法等研究），来获得基于模型的Web应用测试方法，并且构建一个从模型出发产生测试用例的原型工具，来实现Web应用测试过程的部分自动化。