检索结果-内蒙古大学图书馆

计算机学报 2011年第6期34卷 1029-1040页

作者：许蕾陈林徐宝文南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要... 详细信息

web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要素;对照目标级、服务组合、原子服务需求,分别进行基于等价类划分、数据流分析和变异测试的测试用例生成选择;当需求变动时,通过波动分析能迅速定位到服务的相关路径和变量,保证回归测试的效率;最后通过行程安排实例展示了工作流程和实验结果.

关键词： web服务测试用户需求测试用例生成依赖性分析回归测试

来源：评论

学校读者我要写书评

暂无评论

web服务测试技术综述

引用

微计算机应用 2010年第1期31卷 21-26页

作者：冯细光刘建勋湖南科技大学知识处理与网络化制造湖南省普通高校重点实验室湘潭411201 南京大学计算机软件新技术国家重点实验室南京210000

面向服务的体系结构(SOA)已成为基于web的分布式系统的主要发展趋势。web服务作为实现SOA的一种形式,已得到广泛的关注与应用。由于web服务为基于开放和通用的协议与平台,其服务质量与可信等均可能存在问题,这将会阻碍web服务的发展。We... 详细信息

面向服务的体系结构(SOA)已成为基于web的分布式系统的主要发展趋势。web服务作为实现SOA的一种形式,已得到广泛的关注与应用。由于web服务为基于开放和通用的协议与平台,其服务质量与可信等均可能存在问题,这将会阻碍web服务的发展。web服务进行充分测试可保证web服务的质量,然而由于web服务所具有的特点,传统的软件测试技术方法不再适用于web服务的测试,所以对web服务测试方法和技术的研究成为当务之急。本文在SOA体系结构基础上,讨论了web服务测试的难点和web服务测试的基本方法,分析了目前web服务测试的研究现状。最后,展望了未来可能的研究方向。

关键词：面向服务体系架构(SOA) web服务 web服务测试

来源：评论

学校读者我要写书评

暂无评论

web服务测试综述

引用

软件导刊 2017年第4期16卷 208-211页

作者：刘宇欣岭南师范学院信息工程学院广东湛江524048

近年来,web服务测试得到了越来越多的关注。对web服务及SOA(面向服务架构)进行简单介绍,分别从基于WSDL的web服务测试、语义web服务测试和基于形式化方法的web服务测试3个方面进行阐述,并重点研究形式化规约的四大类方法:基于模型、基... 详细信息

近年来,web服务测试得到了越来越多的关注。对web服务及SOA(面向服务架构)进行简单介绍,分别从基于WSDL的web服务测试、语义web服务测试和基于形式化方法的web服务测试3个方面进行阐述,并重点研究形式化规约的四大类方法:基于模型、基于有限状态、进程代数和代数规约在web服务测试中的应用。

关键词： web服务测试形式化方法 web服务

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的web服务测试方法研究

基于模型检测的Web服务测试方法研究

引用

作者：魏莹北方工业大学

学位级别：硕士

web服务,即web Service,是一项新技术。由webService规范实现的不同应用之间,无论使用何种语言、平台或者内部协议,都可以互相发送数据。正是因为web服务具有这种语言无关性、平台独立性的特点,因此需要验证web服务组合的一致性与适应性... 详细信息

web服务,即web Service,是一项新技术。由webService规范实现的不同应用之间,无论使用何种语言、平台或者内部协议,都可以互相发送数据。正是因为web服务具有这种语言无关性、平台独立性的特点,因此需要验证web服务组合的一致性与适应性,因而在调用服务之前就需要根据服务的功能需求,对服务进行验证和测试。其中验证是基于服务规约的证明,随着业务需求的变化,规约也有可能会发生变化,这使得服务质量存在一定的不确定性。因此,在对服务逻辑验证之后,还需要对服务进行动态的测试。 SOA (Service Oriented Architecture,简称SOA),即面向服务的体系结构,它是一种新的且支持分布式计算范型, web服务正式这种结构的具体实现形式之一。web服务虽然也可称作为一种软件,但是web服务的体系结构决定了它的测试跟一般的软件测试有所不同,因此,web服务的测试对软件测试来说是一个新的挑战。由于webService本身特殊的性质,测试服务时就不能再使用传统的软件测试技术,因此,需要研究针对web服务特有的测试方法和技术,从而能够保障服务的功能和质量。模型检测技术与web服务的测试相结合,已经逐渐成为web服务领域的热点话题,为了保障web服务的可信性,文中提出一种基于模型检测结果的web服务测试方法。采用模型检测工具EVALUATOR的输出结果,作为测试用例选择的依据,并给出具体的测试用例选择方案和程序实现算法。随后给出了web服务的WSDL描述到TTCN-3抽象测试套的自动转换流程,也即服务器端抽象测试套的自动生成,并设计出一种抽象测试套自动生成算法。在客户端执行测试用例,即在实验室的测试平台上执行抽象测试套,同时给出web服务测试所需的编解码器和适配器的实现方法。论文结尾通过三个web Service测试实例,验证此方法的可行性,并进一步说明了基于TTCN-3的web服务测试流程。

关键词： web服务测试模型检测 TTCN-3 抽象测试套

来源：评论

学校读者我要写书评

暂无评论

面向服务的web服务测试框架研究与实现

面向服务的Web服务测试框架研究与实现

引用

作者：张羽丰国防科学技术大学

学位级别：硕士

web服务技术是一种新颖的分布式计算模型,它提供了一种独立于软硬件平台和编程语言的调用机制,近年来引起学术界和工业界的广泛关注并迅速发展。目前,关于web服务技术的研究非常活跃,然而由于web服务所固有的一些特性,web服务测试与传... 详细信息

web服务技术是一种新颖的分布式计算模型,它提供了一种独立于软硬件平台和编程语言的调用机制,近年来引起学术界和工业界的广泛关注并迅速发展。目前,关于web服务技术的研究非常活跃,然而由于web服务所固有的一些特性,web服务测试与传统的软件测试工作相比面临着不少新的困难。 web服务的体系架构包含着三种角色,它们通过SOAP消息进行通信,这种分布式软件架构使web服务测试与传统的软件测试有着很多不同。目前已经提出一些方法从不同的层次和侧面对web服务进行测试,然而由于web服务的诸多特性,测试工作中的一些难题仍然没有解决。本文介绍了一个面向服务的web服务测试框架。在该框架中,测试工作的参与者称为“测试服务”,它们通过服务注册、服务查询和服务调用实现相互协作与分工,共同完成测试任务。我们借助于一个典型的测试工作流程对该框架进行的分析表明,测试服务可以根据需要被动态地发现和调用,从而动态地集成到框架中来,而且这种测试服务的集成过程不会带来安全和信息隐私上的问题。为了支持这种动态的测试服务的集成,我们使用本体技术对web服务测试领域进行建模,不但提供该领域内各种概念的明确的形式化表达,而且为服务之间的通信机制提供语义共享基础。本体使用OWL语言表示以便于使用语义web服务技术描述测试服务。我们设计了一个称为“测试中介”的角色作为测试工作的组织者,它是联结框架的使用者和测试服务之间的桥梁。本文介绍了框架的实现,并通过案例分析说明测试服务的集成过程以及web服务测试工作的具体流程,它们从不同的角度显示了本框架具有可行性、可扩展性和灵活性。

关键词： web服务测试语义web服务测试服务本体 OWL-S 测试中介

来源：评论

学校读者我要写书评

暂无评论

基于OCL的web服务测试方法研究

基于OCL的Web服务测试方法研究

引用

作者：冯细光湖南科技大学

学位级别：硕士

面向服务的体系架构(SOA)已成为基于web的分布式系统的主要发展趋势。web服务作为SOA的一种实现形式,已得到广泛的关注与应用。在这样的形势下,web服务的质量成为学术界和产业界最为关注的问题。一旦某一web服务存在严重的质量问题,将... 详细信息

面向服务的体系架构(SOA)已成为基于web的分布式系统的主要发展趋势。web服务作为SOA的一种实现形式,已得到广泛的关注与应用。在这样的形势下,web服务的质量成为学术界和产业界最为关注的问题。一旦某一web服务存在严重的质量问题,将会给使用者造成不可估量的损失与危害,因此,需要对web服务的质量进行评估。而对web服务质量评估的一个有效方法即为测试。但是人工手动测试需要耗费大量的时间,如能采用自动化测试方法代替繁琐、耗时、易出错的人工测试,则可快速与准确地完成对web服务的测试,从而提高软件质量,节省开支,并极大地提高测试效率。由于web服务的自身特性,web服务自动化测试的一些难题仍然没有解决,其中一个主要的难点就在于测试用例的自动生成。本文首先对目前国内外的研究现状和研究成果进行了分析,在简要介绍web服务、web服务测试及对象约束语言的相关理论和相关技术之后,深入研究了web服务测试技术中测试用例自动化产生的问题,将基于对象约束语言(OCL)的形式化描述方法应用到web服务测试中,其核心思想是利用OCL对web服务描述模型WSDL进行扩展,增加服务调用参数的形式化约束表示,主要包括前置条件和后置条件的描述,web服务测试者通过解析WSDL文档中的输入参数类型和OCL描述中的前置条件和后置条件,利用等价类划分和边界值分析的方法自动产生测试用例,实现对该web服务的自动化测试。本文基于上述思想,在深入分析OCL的基础上,以SAWSDL框架为基础,引入OCL,构建了扩展的WSDL模型。以该模型为基础,研究了web服务自动测试的方法与技术。最后,本文开发了一个基于OCL的web服务测试原型系统,并进行了实验验证,实验表明:该方法能够有效地生成web服务的测试用例,从而提高了web服务测试的质量和效率。

关键词： web服务 web服务测试对象约束语言(OCL) 软件自动测试

来源：评论

学校读者我要写书评

暂无评论

基于代数规约的web服务测试工具

引用

岭南师范学院学报 2018年第3期39卷 86-93页

作者：刘宇欣王国民周秋霞岭南师范学院信息工程学院广湛江524048

代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于web服务测试,开发了自动化测试工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了... 详细信息

代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于web服务测试,开发了自动化测试工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.

关键词：代数规约 web服务测试测试自动化

来源：评论

学校读者我要写书评

暂无评论

基于交互行为规约的web服务测试

基于交互行为规约的Web服务测试

引用

2007中国计算机大会

作者：杨利利李必信东南大学计算机科学与工程学院江苏南京211189

作为一种实现面向服务体系架构(SOA)典型的应用实例，web服务采用和支持国际公开的开放技术标准规范以保证分布式的端到端的交互。目前虽然web服务已经在电子商务、金融等许多领域得到广泛应用，但是由于web服务本身的源码不可知和行为... 详细信息

作为一种实现面向服务体系架构(SOA)典型的应用实例，web服务采用和支持国际公开的开放技术标准规范以保证分布式的端到端的交互。目前虽然web服务已经在电子商务、金融等许多领域得到广泛应用，但是由于web服务本身的源码不可知和行为的不可预知等特性使得测试工作面临很大的问题。本文采用一种基于交互行为规约的方法测试web服务。由于WSDL文档中并未提供web服务的动态行为信息，服务提供者将额外提供以UML2.0序列图和OCL描述的服务交互行为规约，该规约描述了用户在使用服务的外部接口所提供的功能时必须遵循的规则。本文采用扩展标号变迁系统(ExtendedLabeled Transition System,ELTS)对服务行为进行形式化建模，ELTS是在标号变迁系统(LabeledTransition System，LTS)基础上添加语义约束信息而得到的，弥补了LTS描述数据流方面的不足。文章首先给出从序列图综合服务行为模型ELTS的算法，接着讨论了基于ELTS的形式化测试的相关理论：本文对传统的基于LITS的测试用例生成算法加以改进，提出一种新的基于ELTS生成具有良好测试覆盖的测试用例的算法，用于测试服务的实现是否与交互行为规约相一致。

关键词： web服务测试交互行为规约扩展标号变迁系统

来源：评论

学校读者我要写书评

暂无评论

基于模型检测反例的web服务测试例自动生成算法

基于模型检测反例的Web服务测试例自动生成算法

引用

2011全国软件与应用学术会议(NASAC2011)

作者：魏莹赵会群王文文北方工业大学信息工程学院北京 100041

模型检测技术与web服务测试相结合，已逐渐成为web服务领域的热点话题。为了保障web服务的可信性，提出一种基于模型检测结果的web服务测试方法。采用模型检测工具EVALUATOR的输出结果作为测试用例选择的依据，并给出具体的测试用例选... 详细信息

模型检测技术与web服务测试相结合，已逐渐成为web服务领域的热点话题。为了保障web服务的可信性，提出一种基于模型检测结果的web服务测试方法。采用模型检测工具EVALUATOR的输出结果作为测试用例选择的依据，并给出具体的测试用例选择方案和实现算法。给出web服务的WSDL描述到TTCN-3抽象测试套的自动转换流程及转换算法。最后，结合一个简单的webService测试实例，验证此方法的可行性，并进一步说明了基于TTCN-3的web服务测试流程。

关键词： web服务测试黑盒测试语言模型检测抽象测试套自动生成算法

来源：评论

学校读者我要写书评

暂无评论

基于SAWSDL的web服务测试技术研究

引用

数字通信世界 2016年第3期 162-162页

作者：杨英华长沙环境保护职业技术学院长沙410004

随着web服务的广泛应用,web服务的质量成为学术界和产业界最为关注的问题.测试是保证web服务质量的一种重要手段,如能采用自动化测试方法则能够有效的减轻测试人员的劳动强度,提高软件的测试质量.本文提出了一种基于SAWSDL标注机制对We... 详细信息

随着web服务的广泛应用,web服务的质量成为学术界和产业界最为关注的问题.测试是保证web服务质量的一种重要手段,如能采用自动化测试方法则能够有效的减轻测试人员的劳动强度,提高软件的测试质量.本文提出了一种基于SAWSDL标注机制对web服务进行标注,通过结合对象约束语言(OCL)描述的前置条件和后置条件规则,利用等价类划分和边界值分析的方法产生测试用例进行自动化测试.

关键词： web服务 web服务测试

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：