随着Web技术的快速发展，软件应用已经贯穿到社会和生活的各个方面，软件测试在保证软件应用的正确性和可行性方面的作用越来越重要。随着软件开发过程的逐步进行，用户对软件需求的不断增加、软件产品的功能日益复杂，同时伴随着软件产品需求的不断变更等给Web系统的测试提出了更高的要求。传统的手工测试，已经不能更好的满足当前的Web服务的测试需要。而自动化测试技术可以更加高效、可靠地执行测试活动，是目前提高软件质量的一个重要途径，成为软件测试发展的必然趋势。因此，研究和设计一个适合Web服务的自动化测试方法，是当前自动化测试领域的一个重要的研究课题。本文研究了软件自动化测试的基本理论、适用范围和自动化相关的技术和工具，重点对基于模型的测试技术和Web应用测试做了详细的分析，总结了Web测试中关注的测试要求。同时对Silverlight应用的特点进行分析，对Spec Explorer和WebAii工具进行了相关技术调研，分析了两种工具的基本结构和在测试中的功能特点。针对Silverlight应用特点，本文通过集成Spec Explorer和WebAii两种测试工具，设计了一套适用于Silverlight应用的功能测试和UI测试的、通用性强、易于操作和易扩展的自动化测试框架。该自动化框架是基于模型的测试技术，采用了分层的结构设计。通过测试用例与实际操作的分离，提高了测试脚本的可维护性，在很大程度上降低了测试成本。本文还设计和实现了一套详细的测试流程，通过在基于Silverlight的应用系统上模拟用户的操作，实现各种界面操作的测试任务。最后将本文设计的自动化测试框架应用到基于Silverlight的金融信息发布系统中，通过介绍金融信息发布系统的项目背景，对该框架进行了具体的测试实例分析。通过对金融信息发布系统的测试需求、测试脚本以及结果分析，验证了基于模型的测试框架在Silverlight应用的功能测试和UI测试的可行性。