基于模型的软件测试技术在学术界和工业界得到越来越多的重视,已成为自动化测试的一个重要研究方向。进入Web2.0时代之后,Ajax技术广泛应用于Web应用中。由于Ajax技术可以对Web页面异步刷新,因此给Web应用的模型表示带来了新的挑战。在Web应用建模方法研究领域中,研究对象主要为不含Ajax的Web应用,少数针对Ajax特性的建模方法采用传统的FSM模型或UML模型来表示,并不能描述客户端消息触发后的参数传递过程。因此,本文采用EFSM(扩展有限状态机)模型作为Web应用的描述模型,给出一种针对Web应用客户端的EFSM模型构建方法。通过对EFSM模型状态及迁移的定义,利用实际的用户行为轨迹信息,对Web应用客户端进行建模。对于用户行为轨迹trace,提出三种充分性准则用以补充轨迹集合,并依据某种准则生成相应的最小trace集。基于用户行为轨迹,构建初始EFSM模型,并进行修订和约减,在减少了模型中冗余状态及迁移的同时,能有效确保建模结果的有效性。为验证所提出建模方法的有效性,论文有针对性地进行了 一系列实验。结果表明:利用本文所述方法能够在合理的时间内构建Web应用客户端的EFSM模型,该模型能够表示基于Ajax的Web应用异步刷新特性及参数传递。利用本文提出的充分性准则生成的最小trace集,可以在减少原始轨迹集的同时,保证建模结果的完整性,提高了建模效率。