收藏本站
《上海大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

Web应用交互的建模和测试用例生成

宋波  
【摘要】: Web应用的巨大成功和不断发展,使其渗透到国计民生、商业领域和个人生活的各个方面。Web应用是一种非常复杂的、分布式的、多层结构的交互式应用系统,为用户提供了一种全新的部署软件应用的方式。Web应用的异构性、动态性、连接的多样性、控制流程的可变性以及需要快速开发与发布等特性给Web应用的建模和测试带来了新的挑战。目前还没有比较系统的方法和工具对Web应用进行有效的建模和测试。Web应用的特性要求必须对传统的建模和测试方法进行改进或提出新的适合Web应用特性的建模和测试方法。目前对Web应用的建模和测试工作基本上都是Web应用的静态导航建模和测试,很少关注Web应用的交互特性。而交互特性关乎于Web应用的功能性,Web应用从它出现之日起,它就是一个交互式系统。因此,迫切需要一套新的Web应用建模和测试方法来保证Web应用交互的可靠性,从而最终来保证Web应用功能的正确性和安全性。 本文研究的对象是Web应用,重点研究Web应用中交互的建模和测试。主要贡献和创新如下: 1. Web浏览器的交互行为消极地影响Web应用的安全性、功能性和导航的正确性。针对该问题论文,考虑了由于浏览器的交互而可能导致的和Web应用设计不一致的方面,提出了Web应用on-the-fly导航建模方法和测试生成方法。采用扩展的FSM(OFNM/FSM)来对on-the-fly导航模型进行形式化描述,并给出了从OFNM/FSM派生FSM测试树(FSM Test-Tree, FSM-TT)的算法,最后,从构造得到的FSM-TT中产生测试用例,并满足相应的测试覆盖准则。 2.随着Web应用的不断演化,数据库已在Web应用中得到了广泛使用。数据库交互已经成为目前Web应用的关键功能特性之一。针对该问题,论文在对Web应用进行建模和测试时考虑数据库交互。采用GFSMs (Guarded Finite State Machines)作为数据库交互的建模工具。从得到的GFSM中构造一个GFSM-TT(GFSM test-tree)。基于GFSM-TT派生出最小测试集,这样就完成了测试生成。设计了一个算法来对测试路径进行优化,从而减少路径中重叠部分,消除了部分冗余。 3. Web应用越来越依赖于后台数据库给其提供丰富的功能。ASP.NET支持事件驱动(event-driven)的编程范式,具有代码隐藏特性(code-behind feature),使得超文本标记语言(HTML)与表示逻辑完全分离。此外,数据库交互影响Web应用的导航和功能性。对于ASP.NET编程范式的数据库交互的抽取和测试还鲜有报道。论文提出了基于事件的依赖图模型(event-based dependence graph models,EDGMs)来对Web应用中数据库交互进行抽取和建模的方法。采用FSM来对Web页面的呈现(presentation)建模(也就是对Web页面的.aspx部分建模),采用控制流图(Control Flow Graph,CFG)和数据库交互流图(Database Interaction Flow Graph,DIFG)来抽取和建模Web页面对应的逻辑处理部分(.cs)。根据得到的EDGMs,构造一棵FSM测试树(FSM test-tree,FSM-TT)。根据构造的FSM-TT,产生测试序列。结合Web页面的FSM(s)可以进一步具体化得到的测试序列。这样就可以获得更加详细的测试序列。 4. Web浏览器的行为会影响到Web应用的正确性,当把它部署在其支持环境中时有可能导致功能失常。针对Web浏览器的交互行为问题,论文提出一种通过组合Web应用的功能模块(用例)和浏览器交互行为的Web应用建模方法。Web应用被看作是一个由不同的功能模块构成的系统。最后给出了测试的生成和优化算法。 5.论文从一般的Web应用的页面导航模型(UML状态图)出发,设计并实现了带浏览器交互的Web应用的自动建模和测试用例自动生成的工具原型AGT4W(Automatic Generating Tests for Web Applications)。论文介绍了实现方法和详细过程。
【学位授予单位】:上海大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP393.09

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 钱丽;;SQL注入攻击原理及其防范技术研究[J];哈尔滨师范大学自然科学学报;2014年06期
中国博士学位论文全文数据库 前1条
1 田伟;模型驱动的web应用SQL注入安全漏洞渗透测试研究[D];南开大学;2012年
中国硕士学位论文全文数据库 前4条
1 元文浩;3-D Secure协议在电子商务中的应用研究[D];云南大学;2012年
2 周华月;分布式多模型交互集成的研究与应用[D];南京航空航天大学;2012年
3 李东平;寒亭区电视台新闻采编发布系统的设计与实现[D];山东大学;2013年
4 秦娈娈;基于Wi-Fi定位技术的医院办公自动化系统的设计与实现[D];山东大学;2013年
【参考文献】
中国期刊全文数据库 前8条
1 许蕾,徐宝文;Web应用测试框架研究[J];东南大学学报(自然科学版);2004年06期
2 周晓宇;许蕾;徐宝文;陈火旺;;Web应用的自动测试[J];计算机科学;2005年01期
3 胡蓉;缪淮扣;刘焕洲;;一种基于Web软件集成测试的建模方法[J];计算机科学;2007年06期
4 钱忠胜;缪淮扣;陈圣波;;基于ORD和FSM的Web应用的建模与测试[J];计算机科学;2008年09期
5 郭亮;缪淮扣;王皙;陈圣波;;UML模型到FSM模型的转换[J];计算机科学;2009年07期
6 唐云吉;缪淮扣;钱忠胜;;一种基于功能构件的Web应用建模与测试方法[J];计算机科学;2009年07期
7 刘焕洲;缪淮扣;;Web应用程序建模和测试用例生成方法[J];计算机工程;2008年06期
8 方明科;缪淮扣;;一种用于模型验证的Web应用模型抽取方法[J];应用科学学报;2009年01期
中国博士学位论文全文数据库 前1条
1 陈圣波;Web应用建模和验证方法研究[D];上海大学;2008年
【共引文献】
中国期刊全文数据库 前10条
1 刘振宇;杨根兴;蔡立志;;Software Test Case Generation with Adequacy Analysis on Scenario-Based Testing[J];Journal of Donghua University(English Edition);2011年02期
2 郭晓燕;;Web软件的易用性测试探究[J];电脑知识与技术;2008年22期
3 曹震中;;一种在ruby on rails中图片上传与处理的方法[J];电脑知识与技术;2011年04期
4 张恒;;基于混合模式的Web应用系统自动化测试的研究[J];电脑知识与技术;2011年06期
5 陈亚龙;江国华;;基于FSM的Web应用测试用例生成研究[J];电子科技;2013年04期
6 胡胜利;高建瓴;;智能控制Web测试模型[J];火力与指挥控制;2009年03期
7 刘龙霞;吴军华;;基于UML活动图的Web应用测试用例生成[J];江南大学学报(自然科学版);2011年03期
8 许蕾;聂长海;徐宝文;;一种基于组合测试的Web应用兼容性故障诊断方法[J];计算机科学;2006年12期
9 胡蓉;缪淮扣;刘焕洲;;一种基于Web软件集成测试的建模方法[J];计算机科学;2007年06期
10 郭亮;缪淮扣;王皙;陈圣波;;UML模型到FSM模型的转换[J];计算机科学;2009年07期
中国重要会议论文全文数据库 前1条
1 江新;江国华;;Web性能测试的研究与应用[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
中国博士学位论文全文数据库 前10条
1 朱彬;基于用户界面规格说明的Web应用建模与测试用例生成[D];上海大学;2011年
2 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
3 何可;威胁模型驱动的软件安全评估与测试方法的研究[D];天津大学;2010年
4 路晓丽;Web应用软件的测试技术研究[D];西北大学;2006年
5 陈圣波;Web应用建模和验证方法研究[D];上海大学;2008年
6 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
7 曾红卫;Web应用的验证与测试方法研究[D];上海大学;2008年
8 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
9 江涛;特定领域元建模语言的形式化及其模型一致性验证研究[D];云南大学;2010年
10 田伟;模型驱动的web应用SQL注入安全漏洞渗透测试研究[D];南开大学;2012年
中国硕士学位论文全文数据库 前10条
1 严欣喆;领域驱动设计方法的研究及其应用[D];南昌大学;2010年
2 孙薇;基于PHP的会议管理系统设计与实现[D];西安电子科技大学;2011年
3 杨丹丹;基于抽象状态机的协议软件测试方法研究[D];西安电子科技大学;2010年
4 王晴;Web自动化测试研究与Watir框架开发[D];武汉理工大学;2011年
5 刘双;Web信息系统用户界面设计方法的研究[D];武汉理工大学;2011年
6 刘松;基于模型的Web应用自动化测试[D];南京大学;2011年
7 张永超;自动化测试框架的研究与实现[D];西南交通大学;2011年
8 伍小荟;面向软件可靠性的性能测试方法研究与应用[D];上海交通大学;2012年
9 闵祥伟;基于模型的Web测试技术研究与应用[D];哈尔滨工程大学;2011年
10 吴坚;基于中职校园网的人事管理信息系统设计[D];电子科技大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 李宗慧;;试论办公自动化系统中群集技术的运用[J];信息安全与技术;2011年11期
2 孙明阳;蔡震寰;陈伟;;无线局域网中基于信号强度的快速定位算法研究[J];信息安全与技术;2012年04期
3 张兰;;办公自动化系统存在的安全问题与防范措施[J];办公自动化;2011年08期
4 唐淑君;李肖坚;屠守中;韦刚;;一种面向攻击树建模的描述语言[J];北京航空航天大学学报;2007年12期
5 滕国东;刁凤德;;3-D Secure协议的安全分析[J];长春大学学报;2009年04期
6 门爱华;;基于关系数据库的XML数据的存储研究[J];赤峰学院学报(自然科学版);2006年03期
7 胡顺仁,蒋西明,周登义;面向对象系统的回归测试研究[J];重庆工学院学报;2005年05期
8 孙宝传;;建设内容资源,创新服务模式——对当前报业信息化建设的一点随想[J];中国传媒科技;2008年10期
9 张天珍;;基于SQL内部加密技术的探讨[J];电脑编程技巧与维护;2011年22期
10 苏畅;张毅军;刘航;;基于网格服务的分布式异构数据集成研究[J];电脑知识与技术;2008年25期
中国博士学位论文全文数据库 前7条
1 马鸿洋;基于量子信息技术的网络安全协议研究[D];中国海洋大学;2011年
2 王兴玲;基于XML的地理信息Web服务研究[D];中国科学院研究生院(遥感应用研究所);2002年
3 陈圣波;Web应用建模和验证方法研究[D];上海大学;2008年
4 范科峰;数字媒体内容保护系统的关键技术与评测方法研究[D];西安电子科技大学;2007年
5 曾凡平;软件漏洞测试若干问题研究[D];中国科学技术大学;2009年
6 曹振臻;因特网与无线局域网若干模型与关键算法研究[D];北京交通大学;2010年
7 杜经农;基于Web的应用软件安全漏洞测试方法研究[D];华中科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 王春涛;大型企业信息采集发布系统的框架研究[D];华北电力大学(北京);2011年
2 李媛;我国政府应对危机事件的新闻发布研究[D];北京林业大学;2011年
3 杨薇薇;新华社新闻采编系统的设计研究与实现[D];中国科学院研究生院(软件研究所);2002年
4 周晖;基于Web服务的企业应用集成技术研究[D];浙江大学;2004年
5 刘赞彤;电子商务对国际贸易的影响与实践探析[D];湖南大学;2004年
6 王丹卉;基于XML的电子商务安全协议研究[D];西安电子科技大学;2005年
7 龙涛;SET协议改进方案及其支付模型研究[D];西南交通大学;2005年
8 王磊;电子支付安全技术研究[D];重庆大学;2005年
9 令晓静;SSL安全传输协议在网络通信中的应用研究[D];西安电子科技大学;2006年
10 张倩;基于XML与.NET的企业质量数据异构集成系统[D];昆明理工大学;2007年
【二级引证文献】
中国期刊全文数据库 前2条
1 谢光;;电子商务在线支付中的安全技术浅谈[J];福建电脑;2013年07期
2 宋超臣;王希忠;黄俊强;吴琼;;Web渗透测试流程研究[J];电子设计工程;2014年17期
【二级参考文献】
中国期刊全文数据库 前10条
1 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
2 邓小鹏;邢春晓;蔡莲红;;Web应用测试技术进展[J];计算机研究与发展;2007年08期
3 史耀馨,崔萌,李宣东,郑国梁;基于MDA的UML模型转换技术——从顺序图到状态图[J];计算机工程与应用;2004年13期
4 许蕾;徐宝文;陈振强;;Web测试综述[J];计算机科学;2003年03期
5 颜炯;王戟;陈火旺;;基于模型的软件测试综述[J];计算机科学;2004年02期
6 胡蓉;缪淮扣;刘焕洲;;一种基于Web软件集成测试的建模方法[J];计算机科学;2007年06期
7 刘焕洲;缪淮扣;;Web应用程序建模和测试用例生成方法[J];计算机工程;2008年06期
8 唐波;廖伟志;;统一建模语言状态图的测试用例生成方法[J];计算机仿真;2007年08期
9 苏杭;严建援;;一种新的Web链接提取模型[J];清华大学学报(自然科学版);2006年S1期
10 王晓宇,周傲英;万维网的链接结构分析及其应用综述[J];软件学报;2003年10期
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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年
中国重要报纸全文数据库 前6条
1 深圳市信息无障碍研究会 戴杰;“听”软件的IT工程师[N];人民政协报;2014年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
4 《网络世界》记者 郑楠;ONF测试步伐有条不紊[N];网络世界;2014年
5 ;找错[N];计算机世界;2002年
6 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
2 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
5 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
6 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
7 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
8 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
9 马雪英;面向对象软件回归测试选择—测试用例最小化技术研究[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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026