随着互联网技术的飞速发展，Web应用已经渗透到国计民生、商业领域和个人生活的各个方面。在市场需求的推动下，Web应用的规模不断扩大，其软件具有的动态、异构、分布、并发和多用户等特性，使得Web应用的测试比传统的软件测试更加困难，从而在软件测试领域提出了新的挑战。 基于规格说明的测试用例的生成是一种较新的测试用例技术，它对于软件的开发与测试起到了很大的作用。UML模型具有通用性、形式化和强大的描述能力等优势。本文结合国家自然科学基金项目《基于形式规格说明的Web应用测试方法的研究》的工作，在运用UML协作图和状态图对Web应用测试进行研究的基础上，着重讨论了测试用例的生成方法。然后，运用形式概念分析对测试用例集进行了优化，在一定程度上可以降低软件测试的成本，更好地指导测试。 论文的工作主要有以下几个方面： 1、研究Web应用测试技术，分析Web应用的特点，采用面向对象的思想来划分Web应用，提出将UML协作图和状态图结合起来对Web应用的结构和对象状态进行建模，以改进对象间交互行为的描述。 2、分析了在Web应用测试中UML协作图和状态图两者结合的必要性。采用构建测试树的方法从协作图获取测试场景，提出了分析测试场景和处理循环消息的相应算法。借鉴关于扩展测试流图的相关文献，给出了状态图转换成测试流图的方法，然后从测试流图中产生测试场景。 3、研究了形式化概念分析方法,讨论了测试用例集的优化，在此基础上提出了形式化概念分析在Web应用测试用例集优化过程中的应用思路。研究了概念格的构建方法和概念分析的过程及算法，结合实例提出了一种概念格的缩减算法，将其应用到了Web应用测试用例集优化中，以在不影响测试覆盖度的前提下提高测试效率。 4、给出了Web应用测试支持系统的总体结构和主要功能模块的设计，实现了这个系统的一个原型，用实验结果证实了本文方法的可行性和有效性。