收藏本站

基于模型的Web应用测试用例生成方法

【摘要】: 随着Internet的普及以及组件、中间件和Web Services等技术的迅速发展以及Web的广泛应用,Web应用的可靠性和质量保证成为一个非常关键的问题和研究热点。而软件测试是提高软件可靠性和保证软件质量的一种主要手段。 Web应用是一种非常复杂的、分布式的、多层结构的交互式应用,为用户提供了一种全新的部署软件应用的方式。Web应用的异构性、动态性、连接的多样性、控制流程的可变性以及需要快速开发与发布等特性给Web应用的测试带来了新的挑战。目前还没有比较系统的方法和工具对Web应用进行有效的测试。Web应用的特性要求必须对传统的测试方法进行改进或提出新的适合Web应用特性的测试方法。目前的测试主要依赖测试工程师的直觉和经验,Web应用的测试被认为是一个耗时的、代价昂贵的过程。因此,迫切需要一套新的Web应用测试方法并实现测试的自动化。 基于模型的、模型驱动的、以测试为中心的软件开发方法和技术的兴起和应用,以及形式化验证技术的逐步成熟,使基于模型的软件测试方法与技术在近几年得到了关注。基于模型的测试是一种突破性的黑盒测试技术,它以明确描述系统预期行为的抽象模型为依据,自动生成可执行的测试用例,产生测试脚本,执行测试并自动评价测试结果,实现测试过程的自动化。这种方法可以使得软件测试和软件设计以及实现同时进行,改变了软件工程中“现在编程,以后测试”的工作方式,使得在整个软件生命期中可以并行地进行测试工作。因此,基于模型的测试技术是实现对Web应用测试的有效途径。但是,这方面的研究还处于方法探索阶段。 统一建模语言(UML)已经成为事实上的工业建模标准,能够很好地为用户的需求建模;而有限状态机(FSM)为测试软件的复杂行为提供了一个有效的机制,不必考虑软件的底层实现细节。 本文以Web应用为研究对象,从UML模型和FSM模型出发,研究一系列基于模型的测试用例生成技术,获得基于模型的Web应用软件测试方法,构建一个从模型出发产生测试用例的原型工具,力图实现Web应用测试过程的自动化。 在软件测试中,测试用例是依照测试准则来产生的。测试准则一直是人们研究测试方法的核心技术。本文在分析已有的基于UML模型测试准则的基础上,根据场景的概念(分为主要场景和次要场景),提出了基于UML用例图的七个测试准则:场景覆盖、主要场景覆盖、行为者主要场景覆盖、主要场景序列覆盖、用例覆盖、行为者用例覆盖和用例序列覆盖,并给出了这些测试准则的实际应用。另外还提出了基于UML对象图的两个测试准则:方法链覆盖和MM-path序列覆盖。这些基于UML模型的测试准则对于测试用例的生成具有非常重要的意义。 用例视图是UML软件模型的核心,用例是推导系统测试需求的来源,它代表了系统提供给用户的高层功能,而顺序图可以进一步描述用户行为的先后发生顺序。因此,本文给出了一种基于UML用例图和顺序图对Web应用进行测试的方法。生成的测试用例是基于功能来划分的,因为一个用例可以看成是一个软件功能或其组合。根据所提出的基于UML用例图的覆盖测试准则,生成所需的测试用例。 由于软件的实现应该和规格说明相一致,所以一个对规格说明有更好覆盖度的测试集就更能准确地评估软件的质量。基于模型的形式规格说明的主体(前置条件和后置条件)是谓词表达式。本文详细分析了基于规格说明的若干逻辑覆盖测试准则。针对已有的决定性逻辑覆盖测试准则的不足之处,提出了掩盖性逻辑覆盖测试准则,并对其进行了详细分析。根据该准则生成的测试用例能发现文字的掩盖性带来的错误。从谓词表达式的结构入手,分析了文字之间的约束关系、复杂谓词表达式的分解与合成、谓词表达式之间的关系。提出了全真谓词表达式覆盖、全假谓词表达式覆盖、完全子谓词表达式覆盖、唯一文字真覆盖以及唯一文字假覆盖等测试准则。满足这些测试准则的测试用例集能检测出不同类型的错误。给出了谓词表达式可能的错误类型,提出了最小的能检测逻辑联结词错误的测试用例集生成算法。 本文还给出了从FSM模型出发自动生成测试用例的方法。在从FSM模型生成测试用例时,重点分析了与FSM有关的最常用、具有代表性的几种覆盖测试准则,包括状态覆盖、迁移覆盖、迁移对覆盖、谓词表达式覆盖、文字覆盖、受限活动文字覆盖、掩盖文字覆盖等测试准则,在此基础上提出了全循环K次覆盖测试准则,并提出了分别根据上述八种覆盖测试准则从FSM模型生成测试用例的算法。 Web应用是一个具有高度交互性的系统,它可以看成是由软件组件之间的交互构成的集合。一个FSM内部的测试,通常只测试了Web应用的一部分,FSM之间的交互测试称之为FSM的组合测试。在FSM的组合测试级上,把每一个FSM看成是一个已经测试好的复合组件,FSM的组合测试就是测试这些复合组件的复合。一个复合组件包含其它的组件(或FSM),被测的Web应用就成了不同的交互组件的复合了。组件间根据动作来交互,当一个组件的输出动作与另一个组件的输入动作对应起来时,就认为这两个组件进行了交互。本文利用组件交互自动机复合的思想,提出了动作抽象化的复合规则,给出了一种基于FSM模型的组合测试方法。 手工生成测试用例要求软件测试人员具有一定的经验和较高的专业水平。而且,没有系统化的方法作为指导会大大降低测试的质量和效率。为了实现测试的自动化并验证所提出的测试用例生成方法,本文设计并部分实现了一个测试用例生成方法的系统原型FSMTCGEN。

下载App查看全文

(如何获取全文? 欢迎:、、)

支持CAJ、PDF文件格式


【相似文献】
中国期刊全文数据库 前20条
1 尹轶宁;MIS系统几种模式及选择[J];实用医药杂志;2004年04期
2 王禹,王建新,江南,王斌;基于MVC模式的快速Web应用开发平台的设计与实现[J];计算机应用研究;2004年11期
3 马琳,罗铁坚,宋进亮,叶世伟;Web性能测试与预测[J];中国科学院研究生院学报;2005年04期
4 唐海涛;王树义;孙效里;;一种有效的Web负载均衡器的设计与实现[J];计算机工程;2006年20期
5 袁梅冷;;基于Struts的Web应用国际化通用架构[J];现代计算机;2007年02期
6 努尔甫拉提;周南;邱小彬;;基于Web的可定制数据采集系统的设计与实现[J];农业网络信息;2007年05期
7 陈富节;陈彪;邢诒俊;陈亚楠;廖廷悟;;浅析利用Front Controller模式构建基于MVC模式的Web应用[J];科技信息;2009年21期
8 陈丹;;XML技术在数据交换中的应用[J];科技传播;2010年24期
9 金尊和 ,谢东;Domino与Web应用 第一讲 认识Domino[J];中国计算机用户;1997年18期
10 黄学武;J2EE Web应用性能调优[J];计算机时代;2004年09期
11 张江河,葛玮,董云卫;Web应用的负载测试策略研究[J];微机发展;2005年02期
12 白金东,陈杰;基于JSF架构的WEB应用开发研究[J];科技情报开发与经济;2005年10期
13 付继华;;Web应用中单点登录系统体系结构研究[J];计算机时代;2007年04期
14 王磊;;数字化校园中即时通信技术的研究与应用[J];黑龙江大学自然科学学报;2007年03期
15 霍成义;吴振强;;基于角色-页面的访问控制方法与实现[J];计算机工程与设计;2008年09期
16 单巍;;一种基于XML Web Services的分布式系统设计[J];淮北煤炭师范学院学报(自然科学版);2008年02期
17 王鑫;苗春雨;袁芳;;Web应用性能评测的研究与应用[J];实验技术与管理;2008年08期
18 李瑞;;基于MVC设计模式Struts框架结构的研究[J];大众科技;2009年06期
19 彭建新;赵伟斌;;实现加密传输的WAS应用[J];广东公安科技;2009年03期
20 王锐;;基于Oracle的Web应用在企业管理信息系统实现[J];煤炭技术;2011年07期
中国重要会议论文全文数据库 前10条
1 施霖;刘喻民;;层次化Web应用模型[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
2 王辰龙;卢雷;;基于扩展导航结构的Web应用测试[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
3 师惠忠;陈波;;Web安全评估工具应用分析[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
4 陈平;蔡洪斌;杨春;;用GridSphere开发Portlet来部署网格服务[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
5 李茂鑫;;小型Web应用系统架构分析与性能优化[A];2008年计算机应用技术交流会论文集[C];2008年
6 徐德安;张建荣;俞靖龙;;基于.NET的检验申请和查询系统[A];第十届全军检验医学学术会议论文汇编[C];2005年
7 卢雷;万建成;鹿旭东;郭小涛;李学庆;;基于界面组成结构的Web界面模型[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
8 庄东晔;管群;;JAVA开源技术在文件共享系统中的应用研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
9 李永坚;;主动窗体(ActiveForm)技术在Intranet中的应用[A];广西电机工程学会第七届青年学术交流会论文集[C];2002年
10 李骥;;烟草行业WEB应用的威胁及防护[A];河南省烟草学会2008年学术交流获奖论文集(上)[C];2008年
中国博士学位论文全文数据库 前9条
1 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
2 张波;基于XML的分布式软件体系结构研究[D];中国科学院软件研究所;2001年
3 曾红卫;Web应用的验证与测试方法研究[D];上海大学;2008年
4 陈圣波;Web应用建模和验证方法研究[D];上海大学;2008年
5 王学斌;软件工程中基于模型驱动架构的模型转换技术研究[D];国防科学技术大学;2006年
6 王晓锋;Web应用入侵异常检测新技术研究[D];华中科技大学;2007年
7 李双庆;Web服务器集群技术研究[D];重庆大学;2003年
8 罗睿;遥感图像信息系统的设计与分析[D];解放军信息工程大学;2001年
9 范国闯;Web应用服务器关键技术研究[D];中国科学院研究生院(软件研究所);2004年
中国硕士学位论文全文数据库 前10条
1 赵会朋;.NET平台下Web系统构架研究及在煤炭行业的应用[D];西安建筑科技大学;2004年
2 朱春江;基于J2EE的Web应用研究[D];河海大学;2004年
3 李彬荣;基于JavaServlet的CORBA与Web的集成方案的研究与实现[D];南京理工大学;2004年
4 范润;CORBA的Web应用及与EJB的集成研究[D];南京理工大学;2004年
5 卫索琪;基于MVC模式的一种Web应用框架[D];北京工业大学;2003年
6 赵大昌;基于Web的部队官兵在线心理咨询系统设计与实现[D];昆明理工大学;2008年
7 王占军;基于J2EE的内容管理系统的研究与开发[D];中国航天第二研究院;2008年
8 莫少东;基于Linux的Web应用开发构件库研究[D];暨南大学;2001年
9 武刚;以XML为核心的WEB统一数据的初步研究[D];西南石油学院;2002年
10 吴少华;Web应用的细粒度访问控制技术研究[D];四川大学;2003年
中国重要报纸全文数据库 前10条
1 陈翔;[N];中国计算机报;2004年
2 IDG电讯;[N];计算机世界;2001年
3 ;[N];网络世界;2004年
4 合 力;[N];网络世界;2004年
5 王洛东编译;[N];计算机世界;2004年
6 山枫;[N];中国计算机报;2003年
7 沈建苗编译;[N];计算机世界;2005年
8 清华大学计算机系 丁峰 徐 鹏 蔡月茹;[N];计算机世界;2004年
9 边 一;[N];网络世界;2002年
10 谢胜强;[N];中国计算机报;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978


{bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck体育下载}| {bckbet}| {bcksports}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck官网}| {bck体育下载}| {bckbet}| {bcksports}| {bck官网}| {bck体育app}| {bck体育}| {bcksports}| {bck官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck体育}| {bcksports}| {bck官网}| {bck体育官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bcksports}| {bck体育下载}| {bck体育app}| {bckbet}|
{uc8}| {uc8体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐城}| {uc8彩票}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8老虎机}| {UC8娱乐}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8彩票}| {uc8}| {uc8体育}| {UC体育}| {uc8官网}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {uc8彩票}| {uc8}| {uc体育}| {UC体育}| {UC8娱乐城}| {uc8}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}|