基于Ajax技术的Web应用的建模与测试用例生成

摘要：

Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示.这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度.研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术.结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例.

关键词：Web应用、模型检查、测试用例、Ajax技术、Kripke结构

所属期刊栏目：41

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金项目61170044,61073050,61262010;上海市自然科学基金13ZR1429600;上海高校青年教师培养资助计划ZZSD13008

在线出版日期：2014-09-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：219-223,244