Web应用程序是近些年来软件业中发展最快的应用程序之一。Web应用本身越来越复杂，同时它所使用的开发语言和开发模型在不断发展。所有这些因素都给分析、建模和测试带来了很大的难度。目前的测试主要依赖测试工程师的直觉和经验，对它的测试被认为是一个耗时的、代价昂贵的过程。因此，迫切需要一套新的Web应用测试方法并实现测试的自动化。 基于模型的测试是一种黑盒测试技术，它以明确描述系统预期行为的抽象模型为依据，自动生成可执行的测试用例，产生测试脚本，执行测试并自动评价测试结果，实现测试过程的自动化。这种方法可以使得软件测试和软件设计以及实现同时进行，改变了软件工程中“现在编程，以后测试”的工作方式，使得在整个软件生命期中可以并行地进行测试工作。因此，基于模型的测试技术是实现对Web应用测试的有效途径。 本文以Web应用为研究对象，从FSM模型出发，研究基于模型的测试用例生成技术，获得基于模型的Web应用软件测试方法，构建一个从模型出发产生测试用例的原型工具，力图实现Web应用测试过程的自动化。 本文给出了从FSM模型出发自动生成测试用例的方法。在从FSM模型生成测试用例时，重点分析了与FSM有关的最常用、具有代表性的几种覆盖测试准则，包括状态覆盖、迁移覆盖、迁移对覆盖测试准则，在此基础上提出了状态迁移优化覆盖、完全序列覆盖、完全构件序列覆盖测试准则，并分别给出了根据上述几种覆盖测试准则从FSM模型生成测试用例的算法。设计并部分实现了一个测试用例生成方法的系统原型。