导读:本文包含了服务组合测试论文开题报告文献综述及选题提纲参考文献，主要关键词:组合测试,组合测试工具,服务化,服务组合
服务组合测试论文文献综述
周锦春[1]（2019）在《组合测试工具的服务化》一文中研究指出组合测试是一种检测待测软件中由参数间相互作用所引发故障的测试方法,这一方法在实践中的应用离不开测试用例生成、优化约减、覆盖率评估等工具的支持。尽管在组合测试30多年的发展期间已经有了很多各具特色的组合测试工具,但是目前仍缺乏对现有工具的全面分析和比较。基于上述考虑,本文首先调研了现有组合测试工具的发展和应用现状。在此基础上,针对当前组合测试工具难于适应变化频繁的组合测试业务需求的问题,在组合测试工具服务化上进行研究,设计并实现了一个组合测试工具服务平台,为组合测试在实践中的应用提供高质量的服务。本文的主要工作内容总结如下:1.调研了现有87个组合测试工具,从多样性、实用性、输入输出形式和活跃程度四个角度分析组合测试工具的现状,分析现有工具存在的缺陷。2.实现了组合测试工具服务平台,通过服务管理、服务组合和服务推荐协助组合测试技术的应用。首先,平台支持开发者上传服务,并实现了服务发现和服务健康检查。其次,通过服务组合将若干独立的组合测试服务组织成一个更为可用的组合测试功能。最后,平台实现了基于用户兴趣的服务推荐,并且在测试数据集上评估了生成服务的质量。3.通过案例研究系统地比较了组合测试工具服务平台和现有组合测试工具的优缺点,实验结果表明组合测试服务平台实现案例的方法比现有组合测试工具效率更高。(本文来源于《南京大学》期刊2019-08-22）
李吟[2]（2017）在《可变力度组合测试的Web服务用例集生成方法》一文中研究指出Web服务测试作为保证Web应用质量的重要手段,已成为了软件工程领域的焦点问题。Web服务的特点使得它需采用自动化测试方法,其中一个重要内容是如何高效地设计和生成合理的测试数据。现有的测试方法对服务描述文件中各元素之间的实际交互关系考虑不足,难以有效处理子元素之间的组合问题,进而导致测试用例的冗余,并且错误检测能力较差。针对该问题,文中对元素间实际交互关系进行了研究,根据WSDL文档建立形式化树模型,采用基于One-testat-a-time策略的可变力度的组合测试方法生成测试用例集,随后根据数据约束规则获取最优测试用例集。通过面向服务海军装备测评实验表明,与随机测试相比,该方法在同样的测试用例数量上,能够检测更多的错误,并且在用例规模上优于现有的方法。(本文来源于《中国造船工程学会电子技术学术委员会2017年装备技术发展论坛论文集》期刊2017-10-20）
丁志军,周泽霞[3]（2018）在《Web服务组合测试综述》一文中研究指出随着面向服务技术和云计算技术的不断成熟,尤其是面向服务体系结构SOA的不断完善以及推广,其主要内容Web服务已经被广泛应用.为了充分利用Web服务并解决单个Web服务功能有限的问题,业界将多个原子Web服务按照一定的规则和业务逻辑进行组合,以提供更多功能更强大的服务,实现了Web服务的增值和复用.为了保证Web服务组合的质量,需要对Web服务组合进行全面、充分的测试.然而,Web服务组合的动态特性和分布式特点使得其测试技术和方法与传统的软件测试有很大的区别,存在很多挑战.针对Web服务组合测试,对近年来Web服务组合测试研究中的测试用例生成技术、回归测试技术、测试执行和度量方法进行了系统的总结和分析.此外,还对Web服务组合测试中有待研究的问题进行了分析和展望.(本文来源于《软件学报》期刊2018年02期）
周波[4]（2016）在《组合Web服务测试方法的研究》一文中研究指出为了获得可靠的、可信的、高质量的服务,对服务实施充分的、完全的测试是至关重要的。总体上看,目前的Web服务测试尚处在初级的阶段,研究人员主要通过传统的技术,在原有的测试基础上根据Web服务的特点对测试方法进行改进,大部分研究集中在对单个服务的独立操作进行测试,虽然这些研究能够为服务生成丰富的测试用例,然而在实际的应用中,单个的服务功能有限,服务的应用是由多个单个的服务组合而成,服务之间具有一定的逻辑顺序关系,因此,需要进一步展开对组合后的Web服务测试的相关研究。针对上述问题,本文使用UML活动图建模技术,根据OWL-S文档中的服务过程信息,提取出与服务的控制流程对应的过程图,据此生成、约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本。本文的主要思路如下所示:首先,基于用户需求使用UML活动图进行组合服务的建模;接着,基于UML活动图与Process Model的映射规则设计相应的转换算法,将UML活动图转换成Process Model;并定义过程图,设计Process Model过程模型到过程图的转换算法,根据Process Model过程模型到过程图的转换规则完成Process Model过程模型到过程图的转换;对过程图添加节点和与之对应的边,形成扩展的过程图;根据扩展的过程图的路径与事件一一对应的思想设计扩展的过程图到事件的转换算法,通过此算法完成扩展的过程图到事件的转换过程;最后,用事件启发的方式生成测试数据,指导测试用例的选择与约简。基于上述的理论研究,本文提出了一个组合Web服务测试框架。根据给出的组合Web服务测试流程并通过查询城市天气预报组合Web服务这一实例,完成了UML建模、模型转换、过程图转换、过程图扩展以及事件集的生成,并根据路径覆盖准则,通过事件启发的方式生成了测试数据。本文设计了对比实验,验证本文方法生成的测试数据比通过WSDL文档生成的测试数据更有效。此外,通过对查询城市天气预报组合Web服务中植入错误,从每个事件对应的测试数据中选出若干测试数据组成约简后的测试用例集,验证约简后的测试用例集的测试效果。实验结果表明,本文方法是可行和有效的。(本文来源于《重庆大学》期刊2016-05-01）
普杰,李吟,滕士波[5]（2015）在《可变力度组合测试的Web服务用例集生成方法》一文中研究指出Web服务的特点使得它需采用自动化测试的方法,而现有的方法由于对服务描述文件中各元素间实际关系考虑不足,进而导致测试用例的冗余,并且错误检测能力较差。针对该问题,文中对元素间实际交互关系进行了研究,根据WSDL文档建立形式化树模型,采用基于One-test-at-a-time策略的可变力度的组合测试方法生成测试用例集,随后根据数据约束规则获取最优测试用例集。实验表明,与随机测试相比,该方法在同样的测试用例数量上,能够检测更多的错误,并且在用例规模上优于现有的方法。(本文来源于《指挥控制与仿真》期刊2015年04期）
石美娟[6]（2015）在《基于场景的Web服务组合并行测试生成的研究》一文中研究指出伴随信息化技术的飞速发展,对Web服务的服务质量要求越来越高,服务范围越来越复杂。Web服务组合应运而生,即通过把单个的原子服务按照一定的规则顺序组合在一起为客户提供功能强大的服务,满足用户需求。针对组合后的Web服务,它的质量问题成为了最值得关注的一面,所以Web服务组合的测试变得尤为重要。本课题主要研究基于场景的Web服务组合测试用例的并行生成。高质量的测试用例可以检测Web服务组合的功能能否满足用户的需求。同时,考虑到一个Web服务组合将会产生数量庞大的测试用例,且由基于场景建立的模型生成测试用例的过程彼此都是独立的,不存在输入输出关系,所以实现过程可以采用Hadoop平台的Mapreduce框架来并实现,进而提高测试用例生成效率。综上,本文主要完成以下几部分的工作：1.建立基于场景的Web服务组合的时序图模型；2.研究时序图生成控制流程图的算法；3.Web服务组合测试用例生成的方法；4.搭建Hadoop实验环境,实现在云平台上生成测试用例及执行生成的测试用例,验证测试用例的可行性和高效性。(本文来源于《内蒙古大学》期刊2015-06-03）
周立波[7]（2015）在《基于文档解析和约束求解的组合Web服务测试用例生成》一文中研究指出网络与分布式技术的快速发展使得面向服务的体系结构(SOA)得到了学术界以及工业界的广泛应用。作为实现SOA的主要技术,Web服务已成为当前研究的热点问题。为了充分利用Web服务并解决单个Web服务功能有限的问题,业界将多个原子Web服务按照一定的规则和业务逻辑进行组合。为保证组合Web眼务的质量,需要对组合Web服务进行全面、充分的测试。目前常见的组合Web服务测试方法主要为黑盒测试,包括利用WSDL中的接口信息、结合本体知识库或者基于用户输入等方式对组合Web服务进行测试。但这些方法生成测试用例冗余较高(存在大量无效用例),而且Web服务领域内本体库获取比较困难,测试覆盖率也不理想。测试用例设计生成是软件测试领域的主要研究问题。在现有工作的基础上,我们提出了一种基于文档解析和约束求解的组合Web服务测试用例生成方法,即首先通过解析组合Web服务中的相关XML文档,得到各种约束条件来丰富测试信息,然后利用约束求解器对各约束条件进行求解,并结合不同的覆盖率准则生成测试用例。论文的主要工作包括：首先,针对组合Web服务对外只提供XML接口文档的特点,我们提出一种KML文档解析的方法,根据不同接口文档之间的关系,对BPEL文档、WSDL文档以及XSD文档中不同的节点进行解析,从而过滤掉不相关的信息,并生成包含了组合Web服务的业务执行流程、流程中的属性值、变量的详细定义以及条件语句等内容的中间文件。其次,由于黑盒测试方法无法获取有效的输入变量取值范围,导致生成的测式用例集冗余度较高,我们提出了使用约束求解生成测试用例的方法,即将接口文档中提取的约束条件归类为变量类型约束、输入输出约束、条件约束以及活动欠序约束,并提出了相应的约束编码规则,指导与约束求解器相关的约束文件的生成,然后利用约束求解器并结合SOAP协议,生成有效的测试用例。再次,针对组合Web服务中测试覆盖率较低的问题,我们提出根据中间文件生成组合Web服务控制流图,并基于不同覆盖率标准对与约束求解器相关的约束文件进行修改,包括节点覆盖、路径覆盖和MCDC覆盖,并对约束文档进行修改,生成满足覆盖率准则的测试用例集。最后,完成了组合Web服务测试用例生成工具GTCWS的开发,并针对不同的Web服务(有Oracle BPEL PM Sample以及WS-BPEL Composition Repository提供的7个BPEL代码规模在57行到190行的Web服务)进行了充分的实验,并与现有工作在约束条件规模、生成测试用例覆盖率以及求解时间等方面进行了对比,实验结果表明：GTCWS工具能够生成覆盖率高、冗余度低并且有效的测试用例,且生成测试用例所用时间在可接受范围内。(本文来源于《南京大学》期刊2015-05-28）
吉顺慧[8]（2015）在《基于演化的Web组合服务测试和验证》一文中研究指出面向服务的体系架构SOA(Service-Oriented Architecture)是分布式计算领域和软件技术发展的一个.里程碑。Web服务作为其实现基础,是一种自治、开放、自描述和实现无关的网络化构件,其良好的互操作性和松耦合方便了Internet环境下的软件开发和分布式应用。Web服务组合技术利用现有的Web服务,根据用户的需求将它们按一定的应用逻辑组合起来,可以提供更多功能更强大的服务,实现了Web服务的增值和复用,其中BPEL(Business Process Execution Language)是最常见的Web组合服务描述语言。BPEL组合服务因缺陷修复、需求增加、功能增强、性能改进、运行环境改变等挑战,需要适时地演化来满足各种现实的需求。如何确保BPEL组合服务在其生命周期中每个版本的正确性,尤其是数据流的正确性,是亟需解决的问题。测试和验证是软件质量保障的两种有效方法,由于BPEL规约是基于XML语言的,为了实现自动高效的测试和验证,还需要为BPEL组合服务构造形式化模型。本文基于演化的特性,从数据流的角度,系统地研究了BPEL组合服务建模、测试和验证的叁个方而,主要研究成果如下：(1)研究了BPEL组合服务的演化和建模问题,对BPEL组合服务演化过程中的修改类型进行分类,提出了一种扩展控制流图XCFG(eXtended Control Flow Graph)模型。XCFG模型中用变量集描述BPEL流程中用到的变量,用伙伴链接集描述与流程交互的成员服务,用流图描述流程的执行,其中用结点描述BPEL活动,用控制边描述活动之间的顺序关联,用link边描述BPEL中的特殊元素link,且模型中每个元素都附有信息域来描述对应BPEL组合服务中的相关信息。该模型不仅能描述BPEL组合服务的控制流信息还能描述服务间交互的数据流信息,为后续基于数据流的测试和验证提供了足够的信息。(2)研究了BPEL组合服务的回归测试问题,提出了一种基于XCFG模型的针对全使用数据流测试准则的回归测试用例选择方法。该方法包括数据流分析、受影响的定义-使用对识别、测试路径计算和测试用例选择四个步骤。通过对传统的可到达定义计算方法进行改进,提出了基于XCFG流图的数据流分析方法来计算BPEL流程中的定义-使用对,然后对流程修改、绑定修改和接口修改进行修改影响分析识别需要进行回归测试的定义-使用对,并计算覆盖待测试定义-使用对的数据流路径,最后对基线版本和演化版本中的路径进行路径条件分析比较进行测试用例选择。实验表明该方法是有效的,且可检测BPEL组合服务演化过程中的叁种修改类型。(3)研究了BPEL组合服务数据流属性的验证问题,提出了定义-使用一致性、无死锁、可达性和无冲突的单版本验证算法,还提出了无冲突属性的演化版本的增量式验证方法ICV(InCremental Verification)。单版本四种数据流相关属性的验证是基于XCFG模型开展的,实验表明了验证算法的有效性和性能。演化版本无冲突属性的ICV验证方法首先构造基线版本和演化版本的并发集,通过将验证对象局限到受流程修改影响且与无冲突属性相关的活动结点,来提供验证效率。实验表明ICV方法是有效的,且相比较单版本的无冲突验证算法在性能上有所提升。(4)设计和实现了原型工具XCFG4BPEL,以支持以上提出的理论方法。支持对BPEL组合服务的XCFG建模、单版本的数据流测试路径计算、演化版本的数据流回归测试用例选择、单版本的定义-使用一致性、无死锁、可达性、无冲突属性验证以及演化版本的无冲突属性验证。(本文来源于《东南大学》期刊2015-03-01）
仉雪玲[9]（2015）在《基于消息组合变异的Web服务脆弱性测试研究》一文中研究指出Web服务互联互通的特点是Web服务集成和应用的基础,它支持开放、动态的互操作模式,可以大大的降低系统集成的开销和复杂性,因此获得了学术界和产业界的高度重视和大力支持。Web服务以XML、SOAP、WSDL和UDDI为核心;以WSDL语言定义消息的格式和内容。Web服务以SOAP协议为基础进行通信,Web服务通信内容经常包涵应用系统的重要业务,若其通信内容安全得不到有效保障,则可能导致巨大的损失和严重的后果,故针对Web服务的安全性测试的研究开始得到重视。Web服务的脆弱性本质上是指Web服务中存在的安全漏洞,利用它可以危害Web服务的安全策略,导致信息的出错或者丢失。目前针对Web服务的测试大部分集中于Web服务的功能和可靠性研究。本文提出了基于SOAP消息组合变异的Web服务脆弱性测试方法,并设计了一个测试Web服务脆弱性的原型系统。本文的主要工作:1.针对具有多个方法(或参数)的Web服务提出了组合测试方法;解析Web服务的WSDL文档,获取Web服务原始的SOAP消息,手动分析其交互关系,对参数的取值进行预处理,设计了可组合变异算子集,利用基于One-test-at-a-time的测试用例生成策略,生成测试用例,对服务进行脆弱性测试。2.针对仅有单个方法(或参数)的Web服务提出了基于模糊测试的简单Web服务脆弱性测试方法;该方法用于检测仅有一个方法(或参数)的Web服务的脆弱性。在原有变异算子集合的基础上进行了扩展,针对服务参数的不同类型分别设计了不同的变异方法。3.设计了测试Web服务脆弱性的工具,该系统主要有四个部分组成:SOAP消息获取模块、SOAP消息变异模块、测试用例产生器模块和脆弱性分析模块。其主要功能是获取SOAP消息,调用本文提出的相应的测试用例生成算法来对SOAP消息的参数进行变异产生测试用例,利用该测试用例对Web服务进行脆弱性测试,并由脆弱性分析模块对Web服务进行脆弱性性分析,最后给出测试报告。(本文来源于《南京邮电大学》期刊2015-03-01）
苏萌[10]（2014）在《基于有色Petri网的语义Web服务组合的验证与测试方法》一文中研究指出Web服务组合的目标是通过简单服务的组合形成以满足需求的新服务,这个目标的完成是通过相对简单的Web服务交互的设计。但Web服务组合的执行过程中,复杂的需求的互动往往涉及一些简单的服务。当用户有多服务可选时,由于多个服务组合时产生了问题或不信任这些简单服务,因而影响到了Web服务的发展和应用。服务组合流程的并发性和复杂性,使得验证服务组合模型的测试变得非常重要。鉴于上述问题本文进行了以下工作：1.基于Web服务本体语言OWL-S与有色Petri网的语义一致性,将有色Petri网描述规则运用到OWL-S进程。其中包含OWL-S的原子进程及复合进程描述方式,并按照该描述方式使用有色Petri网验证工具CPN Tools对语义Web服务组合流程进行建模,并对模型进行验证与分析。2.对此建模方法用于基于有色Petri网的语义Web服务组合模型的测试方法进行了总结。对于基于有色Petri网的语义Web服务组合模型,总结了相关的测试方法与测试用例生成方式。介绍了完全路径覆盖的测试方法,并运用此方法对模型生成的可达图生成相应的测试用例,以此进行测试的正确性分析。3.对本文提出的方法进行实例分析。通过网站提供的Web服务组合实例,应用上述模型做案例分析,针对贷款审批的例子验证方法的有效性和正确性。经实例分析表明,本文建议的方法更为有利于对语义Web服务组合的模型的正确性验证以及其模型的测试用例生成。(本文来源于《内蒙古农业大学》期刊2014-06-01）
服务组合测试论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Web服务测试作为保证Web应用质量的重要手段,已成为了软件工程领域的焦点问题。Web服务的特点使得它需采用自动化测试方法,其中一个重要内容是如何高效地设计和生成合理的测试数据。现有的测试方法对服务描述文件中各元素之间的实际交互关系考虑不足,难以有效处理子元素之间的组合问题,进而导致测试用例的冗余,并且错误检测能力较差。针对该问题,文中对元素间实际交互关系进行了研究,根据WSDL文档建立形式化树模型,采用基于One-testat-a-time策略的可变力度的组合测试方法生成测试用例集,随后根据数据约束规则获取最优测试用例集。通过面向服务海军装备测评实验表明,与随机测试相比,该方法在同样的测试用例数量上,能够检测更多的错误,并且在用例规模上优于现有的方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
服务组合测试论文参考文献
[1].周锦春.组合测试工具的服务化[D].南京大学.2019
[2].李吟.可变力度组合测试的Web服务用例集生成方法[C].中国造船工程学会电子技术学术委员会2017年装备技术发展论坛论文集.2017
[3].丁志军,周泽霞.Web服务组合测试综述[J].软件学报.2018
[4].周波.组合Web服务测试方法的研究[D].重庆大学.2016
[5].普杰,李吟,滕士波.可变力度组合测试的Web服务用例集生成方法[J].指挥控制与仿真.2015
[6].石美娟.基于场景的Web服务组合并行测试生成的研究[D].内蒙古大学.2015
[7].周立波.基于文档解析和约束求解的组合Web服务测试用例生成[D].南京大学.2015
[8].吉顺慧.基于演化的Web组合服务测试和验证[D].东南大学.2015
[9].仉雪玲.基于消息组合变异的Web服务脆弱性测试研究[D].南京邮电大学.2015
[10].苏萌.基于有色Petri网的语义Web服务组合的验证与测试方法[D].内蒙古农业大学.2014