基于框架的Web服务软件自动化测试技术

为弥补传统手动Web服务软件测试周期长、效率低等缺点,设计一种基于框架的Web服务软件自动化测试技术。介绍测评体系结构,设计Web服务自动化测试框架;基于该框架进行综合安全监管系统软件的自动化测试技术应用研究,在软件需求分析的基础上进行测试数据设计,并自动生成测试用例;利用自动化测试框架实现数据驱动脚本自动测试,列出测试用例执行结果并分析软件问题。结果表明,该技术能缩短软件测试周期、提高测试效率和测试覆盖率。

一种Web服务的测试数据自动生成方法

软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性.

一种面向用户需求的Web服务测试方法

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验结果表明该文方法生成组合Web服务测试用例的有效性.以用户需求驱动组合Web服务测试,既能保证所选服务真正符合用户需求,又可根据用户使用场景来丰富测试需求信息,结合领域知识启发式生成测试用例.

Web服务软件测试技术的研究与实现

基于Web服务的分布式计算模型在Internet环境下具有很多优点。论文分析了该模型的具体实现,提出基于Web服务间标准通讯协议,对Web服务软件间的通讯消息进行控制分析的测试方法,同时给出了该系统的初步实现,并探讨了进一步的研究内容。

Web服务测试的研究

Web服务是一种全新的分布式计算技术,它具有真正意义上的系统平台异构性和语言的独立性。随着Web服务技术的不断发展和广泛应用,需要运用测试技术来保障Web服务的正确有效运行。然而由于Web服务采用了新的体系结构和核心协议,其测试方法有别于以往的传统软件测试或网络协议测试,所以有必要对其测试方法和技术进行研究。文中对Web服务的测试进行了分析,针对不同的测试目的提出了对Web服务进行测试的方法,并给出了一种Web服务的测试执行框架。

基于BPEL的Web Service组合的数据流分析测试方法(英文)

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.

Web服务软件测试技术进展

Web服务软件由于其强大的功能和良好的特性得到了越来越广泛的应用,但针对Web服务测试方法和技术的研究还处于初级阶段。通过对Web服务软件的特点的分析,归纳了近年来一些典型的Web服务测试方法和技术,并对当前较为有代表性的研究工作进行了总结,探讨了若干研究方向。

Web服务测试的一种实现

随着Web服务技术的不断发展和广泛应用,需要运用测试技术来保障Web服务的正确有效运行。基于ApacheAxis,解析WSDL,用CTM产生有效测试例,实现了Web服务的功能性测试和压力测试,并就安全性测试、授权测试、多个Web服务测试方面还需完善的工作做了进一步探讨和展望。

一种新颖的Web服务安全性测试方法

针对传统的Web服务安全性测试方法存在的低效、缺乏灵活性、不适应复杂安全功能测试及难以实现异常测试等问题,本文提出一种基于WSDL文件动态解析和安全功能分解的Web服务安全性测试方法。该方法采用运行时动态解析WSDL文件的方式解决了传统测试方法与被测Web服务紧耦合的问题,将复杂安全功能分解为7类原子安全处理类型,使其能够有效适应复杂安全功能测试的需要,采用故障注入机制生成错误的SOAP消息使其支持异常测试。实验结果表明,该方法具有灵活性、高效性和先进性。

基于NHPP类模型的Web软件可靠性分析

结合Web软件运行的实际情况,提出一种基于BurrX测试工作量函数(TEF)的非齐次泊松过程类软件可靠性增长模型(SRGM),并将其应用到Web软件可靠性分析中。TEF能直接体现Web软件工作量与日历时间之间的关系,解决Web软件因工作量高度不均衡导致的问题。实验结果表明,与G-O模型相比,SRGM具有较好的Web软件可靠性评估效果,能较准确地描述Web软件运行的失效过程。

基于协议的Web软件交互测试

分析并提出了一种基于协议的Web软件交互测试方法,通过截获Web软件的通信消息来进行交互测试,同时探讨了进一步研究方向。

基于变异的Web复合服务测试数据选择方法

Web服务集成测试的测试数据数量巨大,影响了测试的质量和效率。提出一种基于变异技术的Web复合服务测试数据选择方法,根据BPEL(Business Process Execution Language)文档获取复合服务的路径集,采用接口变异算子和路径变异算子生成变异体,根据初始测试数据杀死变异体的能力选择有效的测试数据。通过实验验证了方法的有效性,选择出的测试数据数量较少且有效。

面向Web2．0的测试管理工具设计与实现

Web2.0时代带来了软件设计理念的全面更新。独占性的Web工具操作、多项目并行管理、用户主导的内容配置等新模式已经被广泛应用于软件设计和网络服务中。分析了目前测试管理工具的现状,提出了一种面向Web2.0的测试管理工具设计和实现方案。它扩展了用户主导应用的理念,实现灵活的定制功能提高了工具的项目适应性,利用AJAX技术增强了系统的交互能力,采用开放的Web Service接口技术实现了与软件生命周期中其它工具的协同操作,是将Web2.0时代新技术应用在测试管理工具设计和实现方面的一种探索。

基于Markov模型的Web服务软件测试用例生成

软件测试是保证Web服务软件质量的重要技术之一。变异测试是一种面向缺陷的测试技术,变异测试用例生成效率将影响Web服务测试的效率和成本。该文针对Web服务软件,基于Markov模型高效生成变异测试用例。首先,随机生成一定样本容量的测试数据,针对每一个合约变异体,基于弱变异测试准则,执行Web服务方法及其变异体,根据合约变异预言来判断变异体是否被杀死;然后基于Markov链预测模型,计算变异体之间的关联度;再根据变异体之间关联度,生成变异体序列,即与其他变异体关联度大的变异体排在序列的前面;最后,采用遗传算法,依次序列顺序,生成杀死合约变异体的测试用例。

Web服务的分析、测试与验证

如何有效地保证Web服务及其组合的质量是面向服务计算的一个重要内容。面向服务计算倡导以服务及其组合为基础构造应用的开发模式,以提高应用系统的互操作能力、敏捷性及集成能力。介绍了软件分析、测试与验证和Web服务、面向服务计算的工作原理和方式,并概述了Web服务的分析、测试与验证。

Web服务自动化测试技术

在当前网络技术和信息技术快速发展的大背景下,Web网络服务已成为当前和未来网络分布式应用的主流开发软件,同时Web软件的稳定性和可靠性也逐渐成为软件开发领域所探究的焦点问题之一。笔者系统研究了Web服务自动化测试的层次和阶段,提出了Web测试技术的基本框架,并重点分析了Web服务框架下WSP-PEL的关键测试技术。

Web系统功能测试一体化课程开发探索

Web系统功能测试是北京市工业技师学院软件测试专业学生的一门必修课程,随着一体化课程改革的不断深入,得到越来越多的认可。笔者重点探索了Web系统功能测试一体化课程的开发内容和评价方式,并从典型工作任务提取和活动策划表制定两个方面详细介绍了开发内容,从不同的评价方式分析了本门一体化课程评价的可行性,对一体化课程的开发和评价进行了再认识。

云计算环境下SaaS服务可伸缩性评估方法研究

针对云计算环境下Saa S服务可伸缩性的分析评估问题,通过分析Saa S服务伸缩性需求和特点,给出其可伸缩性定义,并且提出一种新的可伸缩性评估模型和度量指标,具体包括:资源利用率、资源生产率、收敛性。最后,基于亚马逊EC2云计算平台,对评估模型和方法进行实例验证。

面向服务的ATS软件平台体系结构研究

针对当前自动测试系统(ATS)软件平台体系结构存在的紧耦合、集中、封闭等问题,采用分层模式建立面向服务的ATS软件平台体系结构。借鉴Kruchten方法,分析ATS软件平台涉及的行为主体,从组织视图、功能视图等视角研究其构成及运行方法,给出ATS软件平台总体视图。应用结果表明,该体系结构具有松耦合、可伸缩和易于集成的特点,能解决异构平台中测试程序集的可移植性、仪器可互换性以及信息充分共享等问题。

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL,Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.