学位论文 > 优秀研究生学位论文题录展示

基于有限状态机的Web服务测试用例生成方法

作　者: 王任
导　师: 黎升洪
学　校: 江西财经大学
专　业: 计算机软件与理论
关键词: Web服务有限状态机正则表达式覆盖准则测试用例
分类号: TP393.09
类　型: 硕士论文
年　份: 2009年
下　载: 101次
引　用: 1次
阅　读: 论文下载

内容摘要

随着信息技术的发展,软件规模的不断扩大,如何保证和提高软件质量成为软件界最为关心的问题之一。近年来,Web服务的松散藕合性、简单性、高度可集成性、规范性、开放性和行业支持等特点使其得到了迅猛的发展,Web服务的出现解决了语言差异、平台差异、协议差异、数据差异所带来的高代价的系统集成问题,显著降低了开发的代价,但Web服务的可靠质量是服务选择、应用和集成的关键依据之一,因此,确保Web服务的质量成了一个至关重要的问题。软件测试作为保证软件质量的关键技术之一,能够有效地发现软件中的故障。软件测试的核心问题是测试用例的产生。好的测试用例不仅能有效的发现软件中的缺陷,并可以减少软件测试的工作量。测试用例的生成将直接关系到Web服务测试的效率和成本。随着面向服务软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到重视。在几种有代表性的基于模型的软件测试中,基于有限状态机的测试模型已经成为软件测试研究领域的一个热点。它能够很好地反映被测试系统中动态行为的交互信息,容易被开发和测试人员理解,并且它的使用可降低软件测试成本,提高软件测试效率和自动化程度,改进了传统测试方法技术中的很多不足。为了提高Web服务的可靠性,本文利用有限状态机模型来构建Web服务测试模型,并在得到的测试模型基础上生成Web服务的测试用例。本文的主要思想是用有限状态机模型来描述Web服务对象行为以及Web服务对象之间的交互特性,以便生成Web服务的测试用例。本文在结合Web服务和有限状态机特点的基础上,为了能构建基于有限状态机的Web服务测试模型,文中用有限状态机模型的状态来描述Web服务交互产生的中间状态,并且有限状态机模型的状态迁移及其标注描述Web服务与用户间的消息交换,然后,借助正则表达式来描述Web服务交互过程的所有消息交换序列。正则表达式结合Web服务的WSDL文档可生成测试数据。为使得Web服务测试用例能自动生成,本文还给出了满足有限状态机模型测试覆盖准则的用例生成算法。本文以股票交易服务(Trading Stocks)为例,通过实验验证了该方法的有效性。通过基于有限状态机模型构建Web服务测试模型,并结合形式化方法和测试覆盖准则,本文的研究可以降低Web服务测试成本,提高Web服务测试效率和自动化程度,为有限状态机模型在Web服务测试中应用起到一定的推动作用。

全文目录

相似论文

基于用户兴趣特征的图像检索研究与实现,TP391.41
基于模型的Web测试技术研究与应用,TP311.53
基于形式化UML测试序列生成方法研究,TP311.53
面向业务过程的服务动态组合方法研究,TP393.09
软件可信性增长测试用例生成方法的研究,TP311.53
基于面向服务架构的公众信息系统在新农村信息化建设中的应用研究,TP393.09
基于嵌入式Web服务器的监控系统研究,TP393.05
一种基于领域本体的语义Web服务匹配和组合方法,TP393.09
基于BMC的Web服务失配检测方法研究,TP311.52
基于SOA与工作流的OA系统的研究与实现,TP311.52
基于SOA的法律风险服务系统的设计与实现,TP311.52
行政审批电子监察系统数据交换的设计与实现,TP311.52
嵌入式网络视频应用技术的研究与实现,TP368.1
基于Web服务的Legacy System集成方法研究,TP393.09
基于Web服务的多平台实时票务系统的研究与实现,TP393.09
基于wifi的嵌入式视频监控系统设计,TP277
基于嵌入式Web服务器的便携式卫星通信地球站监控系统的设计与实现,TN927.2
基于CUDA的正则表达式匹配系统的设计与实现,TP311.52
基于Web Service在线考试管理系统的研究与实现,TP311.52
基于语义的Web服务匹配研究,TP393.09
基于CPU+GPU异构平台的字符串匹配算法研究与实现,TP301.6