伴随Web系统的广泛应用，Web系统的正确稳定运行至关重要。由于Web系统的异构性、不确定性、多层结构等特点使得基于Web系统的测试、确认和验收是一项重要而富有挑战性的工作。本文对Web系统的功能测试进行了较为深入的研究，研究内容包括系统解析与建模、基于FSM模型的测试覆盖准则、测试用例生成算法与测试用例库的维护等内容。在系统解析与建模中，针对现有的HTML分析法填充表单能力的不足，提出了一种处理表单填充的方法，讨论了对Web系统的解析，提取标签信息并建立FSM模型的过程；在基于FSM模型测试覆盖准则的问题研究中，针对测试成本和测试效率的平衡问题，给出了Web的操作成本概念并提出改进的覆盖准则—Web系统的最小测试成本迁移覆盖准则；针对该准则设计了一种复合的启发式搜索算法—模拟退火遗传算法，可以有效的优化测试用例，降低测试用例成本；针对回归阶段的用例失效问题，提出了测试用例修正策略，该策略可以有效的对测试用例库进行维护管理。本文最后通过实验对提出的模拟退火遗传算法和两种传统搜索算法进行比较，实验结果表明提出的算法生成的测试用例比传统算法生成的测试用例的成本和迁移的冗余均有大幅下降，能极大地缩短测试生命周期，达到预期研究目标。