收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于用户界面规格说明的Web应用建模与测试用例生成

朱彬  
【摘要】:Web应用的质量保证是Web应用开发的一个关键问题和研究热点,而测试是保证Web应用质量的一种重要途径。 与传统的软件相比,Web应用更加复杂。它是一种具有复杂用户界面的交互性很强的软件,软件的后台具有许多按不同方式组合的构件。随着Web应用的规模和复杂程度不断提高,Web应用越来越难以开发、管理和维护。现有的Web应用测试工具大多数是基于程序或源代码的静态验证和度量工具,一般不支持测试用例的自动生成。测试用例在软件测试中具有重要的作用,是软件测试质量稳定的根本保障。基于规格说明的测试可以用来确保“程序正确地实现了其需求”,还为测试用例的重用提供了可能,也使得测试工作在整个软件生命期中都可以并行地开展,从而提高软件测试的效率。由于形式规格说明语言提供了一种精确的、一致的、易于被机器处理的表示来描述软件需求规格说明,用形式规格说明作为测试用例的来源将会使得测试用例的自动生成变为可能。 本文采用形式方法研究基于用户界面规格说明的Web应用建模及其测试用例生成。软件规格说明精确和抽象地定义了软件的功能和结构,为测试提供了软件产品功能方面的重要信息。本文使用面向对象的形式规格说明语言Object-Z来描述规格说明,研究从用户功能规格说明和用户界面的规格说明生成测试用例的方法和技术。构建了基于规格说明的测试用例生成工具原型,力图实现Web应用测试用例生成的自动化。 用户功能需求描述了用户使用软件必须要完成的任务,是最基本的需求。本文使用基于任务的需求模型描述用户的功能需求。整个系统被描述成一个Object-Z的类,类中的操作为不同的用户所具有的功能。用户界面的规格说明描述了最终用户和软件的交互,它包括了用户在软件上可能执行的动作。用户界面的规格说明是功能规格说明的扩展。本文提出了对Web应用的用户界面进行形式化描述的方法,形式的用户界面规格说明有利于验证和测试用例的自动生成。使用Object-Z说明了Web页面上的常用控件和Web页面。通过扩展Object-Z,在附加谓词中结合用户动作标记(User Action Notation,UAN)来说明用户界面的设计,并对UAN进行了扩充,加入了Web应用中常见的对数据和用户动作的约束。 浏览器上的按钮在方便用户浏览信息的同时,也会给Web应用的导航和功能带来影响,特别是在安全性上的影响。本文使用Object-Z构建包含浏览器交互的Web应用的完整形式导航模型,定义了与此相关的各种用户行为。该模型具有Web应用中的会话控制和浏览器的缓存机制,为Web应用的导航的测试和验证提供了基础。 Object-Z是形式规格说明语言,抽象层次比较高,具有面向对象的特征,适合进行建模。相比之下,FSM更接近实现,通常用来表示测试模型并产生测试用例。本文提出了从功能规格说明和用户界面规格说明构建分层的FSM的方法,有效的解决了测试模型的状态爆炸,并利用分层的FSM和测试充分性准则产生测试用例。 关键字驱动的测试在工业上得到了广泛的应用,已有很多基于关键字驱动的测试工具,但是已有的工具不能自动产生测试用例。本文从用户界面规格说明出发,提出了基于关键字驱动的测试用例生成方法。该方法定义了逻辑关键字和基本关键字,逻辑关键字表示了测试的功能,基本关键字表示了测试某一功能的细节,这有利于测试的管理和实施。提出了基本关键字测试序列的选择准则,并对准则的揭错能力也进行了分析。 本文详细分析了布尔运算符(BOR)和布尔关系运算符(BRO)逻辑覆盖测试准则,并在产生符合这两种测试充分性准则的约束集的算法中增加了对元素和集合的关系运算符{∈,? ,?,?}的处理,扩大了算法的适用范围。针对浏览器上的一些按钮(后退、前进和刷新)可能对Web应用的功能和安全带来影响的问题,本文提出了在已产生的测试用例(不考虑浏览器)基础上产生包含浏览器交互的新的测试用例的方法,定义了和浏览器交互相关的页面性质,给出了产生导航树的算法,设计了和Web页面性质相关的测试充分性准则。 相比传统软件,Web应用的可靠性更为重要。软件统计测试是高可靠软件测试的重要内容。本文把统计覆盖率应用到分层的FSM模型中,给出了测试用例集合的统计覆盖率的计算方法,使得通过该测试用例集测试的软件可以被评估其可靠性。 为了实现和验证本文提出的方法,本文设计并实现了一个规格说明编辑和测试用例生成方法的系统原型Object-ZTest。通过对规格说明的分析,产生抽象测试用例,也就是约束谓词,根据抽象测试用例不同的特征,采用线性规划技术和数据库查询技术对抽象的测试用例进行实例化。针对集合和元素关系的约束,利用数据库查询技术从测试数据库中获取数据,对抽象的测试用例进行实例化。而对其他抽象的测试用例,则构建线性规划模型,通过模型的求解实现实例化。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈绍英;金成姬;;性能测试用例[J];程序员;2004年11期
2 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
3 生佳根,朱俊武,解洪成,於跃成;一种基于本体的测试用例研究与应用[J];计算机工程与应用;2005年23期
4 张德平,聂长海,徐宝文;划分测试中测试用例最优分配问题研究[J];南京大学学报(自然科学版);2005年05期
5 王崇霞;根据用例设计测试用例[J];电脑开发与应用;2005年10期
6 杨劲涛;郭荷清;;一种精简测试用例方法的研究[J];计算机科学;2005年05期
7 李冰,陈自力,马飒飒;软件测试用例生成综合策略研究[J];计算机测量与控制;2005年04期
8 吕格峰;邹北骥;周浩宇;孙家广;;一种针对交互式软件的测试用例生成模型研究与实现[J];小型微型计算机系统;2006年01期
9 杨劲涛;郭荷清;;黑盒测试用例基的研究[J];计算机工程与科学;2006年05期
10 罗清胜;黎升洪;;基于划分分析方法的测试用例生成[J];现代计算机;2006年06期
11 易海胜;;单元测试用例设计方法初探[J];武汉科技学院学报;2006年05期
12 金虎;李志蜀;李奇;;基于程序规则说明的自动测试用例生成[J];四川大学学报(自然科学版);2006年04期
13 付剑平;陆民燕;阮镰;;软件测试用例生成中的前置条件分析[J];计算机应用研究;2007年03期
14 杨劲涛;郭荷清;;基于模糊逻辑的测试用例揭错能力分析[J];计算机工程;2007年09期
15 朱海燕;范辉;谢青松;刘培强;;测试用例排序的研究[J];计算机工程与科学;2008年01期
16 余久久;;软件功能测试用例的设计过程及实践[J];电脑知识与技术;2008年32期
17 王子元;徐宝文;聂长海;;组合测试用例生成技术[J];计算机科学与探索;2008年06期
18 熊英;;类测试用例的设计与研究[J];微计算机信息;2008年03期
19 曾劲涛;陈建明;;有参数约束的两两组合覆盖测试用例生成的研究[J];苏州大学学报(自然科学版);2008年01期
20 陈策;王凤泰;赵绍才;;正交试验及其在软件测试用例设计中的应用[J];计算机应用与软件;2008年07期
中国重要会议论文全文数据库 前10条
1 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
2 李磊;曹先彬;;基于进化的软件测试用例生成方法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
3 徐李勤;王洁宁;;基于层次有色Petri网的软件测试用例选取研究[A];全国第二届信号处理与应用学术会议专刊[C];2008年
4 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
5 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
7 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];中国计量协会冶金分会2008年会论文集[C];2008年
8 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
9 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
10 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
2 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
5 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
6 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
7 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
8 马雪英;面向对象软件回归测试选择—测试用例最小化技术研究[D];浙江大学;2008年
9 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
10 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
中国硕士学位论文全文数据库 前10条
1 曹青;随机测试用例的自动化生成和约简[D];中国科学技术大学;2010年
2 张丽颖;基于本体的核电站生产用软件测试用例自动生成[D];上海交通大学;2009年
3 尹文洁;测试用例约简方法的研究与应用[D];太原理工大学;2011年
4 纪昌斌;基于谓词信息的测试用例生成系统设计与实现[D];南京大学;2011年
5 戴丽;组合测试用例生成技术的研究与应用[D];华南理工大学;2011年
6 吕格峰;基于功能对象的测试用例生成模型研究与实现[D];湖南大学;2005年
7 焦安涛;测试用例综合评价模型的研究[D];昆明理工大学;2009年
8 张薇;带参数约束的组合测试用例生成研究[D];安徽大学;2012年
9 邹明;组合测试用例生成技术研究[D];重庆大学;2012年
10 成亚玲;回归测试用例的优化选择研究[D];湖南大学;2012年
中国重要报纸全文数据库 前6条
1 深圳市信息无障碍研究会 戴杰;“听”软件的IT工程师[N];人民政协报;2014年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
4 《网络世界》记者 郑楠;ONF测试步伐有条不紊[N];网络世界;2014年
5 ;找错[N];计算机世界;2002年
6 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978