项目隶属信息传输、计算机服务和软件业领域。 背景和主要内容：Web应用是当前的一种主要软件形式，为了适应Web应用的快速开发、部署和维护，保证Web应用的质量，实现Web应用测试的自动化。项目的总体目标是开发基于模型的Web应用测试环境，主要包括Web应用的测试建模、测试用例生成和测试执行工具。1）UML是Web应用开发的主要建模工具，但UML的半形式化特点和语义缺乏，使UML模型很难直接用于基于模型的测试。研究了UML模型到FSM模型的转换方法，实现相应的模型转换工具；针对模型不可用、测试只能依赖源代码的Web应用，采用静态分析和动态执行相结合的方法，提出了Web应用的FSM模型抽取方法；Web应用的行为涉及浏览器交互、网页导航以及组件交互，研究了基于模型组合的Web应用行为建模方法；为了应对测试爆炸问题，开发了基于特定测试目标的测试模型约简方法以排除与测试目标无关的行为。2）研究了基于模型的Web应用测试用例生成方法与技术，构建了从FSM模型出发产生测试用例的工具，支持传统的状态覆盖、迁移覆盖、迁移对覆盖等测试准则。提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则，开发了基于测试准则的测试用例生成算法。3）为了方便用户使用，开发了FSM模型和测试序列的可视化方法。4）区别于传统的"录制/回放"式自动化测试，研究了测试执行自动化技术，给出了一个基于数据驱动的Web应用自动化测试框架。5）开发了从Web应用的测试模型建立到测试执行的相关工具，搭建了一个基于模型的Web应用测试环境。 成果推广及应用：研究成果向上海市计算机软件评测重点实验室和上海友邻信息技术有限公司以及华东师范大学软件学院提供免费使用，新增产值1076万元，节约成本约140万元。 知识产权及专利：发表论文45篇（SCI和EI收录32篇），获软件著作权3项；参与制定中华人民共和国国家标准GB/T 29834.1-2013和GB/T 29834.1-2013；培养博士研究生7名，硕士研究生16名。