现有的软件规模越来越庞大，形态越来越复杂。随着Internet的普及以及构件、中间件和Web Services等技术的迅速发展与应用，使Web应用渗透到国计民生的各个领域，所以对Web应用的测试变得越来越重要! Web测试的方法有很多，基于模型的测试方法就是其中一种。其大致过程是对Web应用进行建模，然后从所描述的模型产生测试用例，并运行测试用例。因此，Web应用的建模对于基于模型的Web测试是非常重要的，建模的好坏直接关系到生成的测试用例的质量；但因为每种模型是从不同方面对Web应用进行建模和描述，所以如果从每种模型去产生测试，会造成测试用例的繁琐和冗余以及表示不一致。假如能够将这些模型转换到统一的模型，就可以避免这种情况的发生。本文选取有穷确定状态自动机(FSM)作为测试用例生成的统一模型。 本文给出了从UML模型到FSM模型转换的方法，提出了从UML状态图模型到FSM模型的三种不同情况下对应的转换方法及其转换规则；可以从UML状态图模型中的简单状态、复合状态和有历史状态的三种情况正确转换到FSM模型；其次，介绍了UML模型的文本表示方法和FSM模型的文本表示方法；设计并实现了集模型转换、模型同步积于一体的工具XMI2FSM，并给出了工具演示。实现了从UML状态图模型到FSM的转换以及模型之间的同步积，使系统模型统一在FSM模型中，所生成的FSM模型既可以用于模型验证，又便于测试用例的生成。