基于Ajax的Web应用客户端的EFSM模型构建

摘要

基于模型的软件测试技术在学术界和工业界得到越来越多的重视，已成为自动化测试的一个重要研究方向。进入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集，可以在减少原始轨迹集的同时，保证建模结果的完整性，提高了建模效率。

目录

声明

摘要

第一章绪论

1．1课题研究背景及意义

1．2国内外研究现状

1．2．1 Web应用测试方法

1．2．2基于模型的Web应用测试

1．3本文的主要研究内容及贡献

1．4本文组织结构

第二章相关理论及技术

2．1基于Ajax的Web应用相关技术

2．1．1 Ajax应用技术

2．1．2文本对象模型DOM及DOM元素

2．1．3 DOM相似性比较方法

2．1．4基于Ajax的Web应用实例分析

2．2基于模型的Web应用软件测试技术

2．2．1基于FSM的Web应用测试技术

2．2．2基于UML的Web应用测试技术

2．2．3其他常用模型的Web应用测试技术

2．3 EFSM模型

2．4最小集问题

2．5本章小结

第三章基于Ajax的Web应用客户端行为获取及最小trace集生成

3．1 Web应用客户端行为构成及用户行为轨迹定义

3．2 Web应用行为获取方法框架

3．3客户端行为获取方法

3．3．1 插装程序设计

3．3．2 获取用户行为轨迹(trace)

3．4 trace集合优化方法

3．4．1 最小trace集问题描述

3．4．2 最小trace集生成方法

3．5本章小结

第四章基于Ajax的Web应用EFSM模型的构建与优化

4．1基于Ajax的Web应用的EFSM模型定义

4．2基于Ajax的Web应用EFSM模型的构建与优化方法框架

4．3初始EFSM模型的构建

4．3．1 相同状态及迁移的识别

4．3．2 EFSM模型构建

4．4 EFSM模型的修订

4．4．1识别导航迁移

4．4．2 去除导航迁移

4．5 EFSM模型约减

4．5．1等价状态及等价迁移定义

4．5．2等价状态及等价迁移约减

4．6本章小结

第五章实验设计与结果分析

5．1研究问题

5．2实验对象与环境

5．3实验结果及分析

5．3．1 Ajax事件覆盖

5．3．2最小trace集生成

5．3．3最小trace集建模结果

5．3．4运行时间

5．4本章小结

第六章结论与展望

6．1本文主要成果及贡献

6．2后续工作展望

参考文献

致谢

作者和导师简介