进入Web 2.0时代之后,由于Ajax技术在Web应用软件中的广泛使用,使得Web页面局部刷新的特点凸显出来,这给Web应用软件的模型表示带来了困难。在Web应用软件建模表示研究领域中,研究对象主要针对不含Ajax技术的应用程序,少数针对Ajax的模型构建采用传统的FSM模型的表示方式,并不能描述客户端消息触发后的参数传递问题;而在FSM模型的基础上引入UML分层模型的表示方法,使得模型结构比较复杂,不利于测试用例的自动生成。针对上述问题,本文借鉴EFSM模型这一重要的软件描述模型,提出Web应用软件的形式化描述方式。并结合基于状态和基于Session的测试方法,以用户实际Session数据为基础构建Web应用软件的EFSM模型。利用模型对Web应用软件进行测试是本文进行模型建模的主要目的之一。本文在构建EFSM模型的基础上,根据Web应用软件EFSM模型的特点,设计测试路径的生成规则,以及用于测试数据生成的约束求解规则。为进一步验证本文方法所构建的EFSM模型的有效性,设计并进行相关实验。结果表明:该EFSM模型能够有效地表示Web应用软件的状态以及状态的变化情况,且在Session数据达到一定程度时能够对Web应用软件进行有效地表示。通过对测试用例生成的实验表明,本文所提出的测试路径和测试数据生成规则可以指导测试路径和测试数据进行有效生成,并且生成的测试用例能够对Web应用软件中存在的错误进行有效地检测。