针对模型转换程序的蜕变测试方法研究

模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题。为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用蜕变测试,依据转换规则,从增加、删除、修改、替换4个方面设计并构造出一组蜕变关系。最后对待测程序植入在实际测试中常见的两种错误,设计并执行测试用例后验证蜕变关系,发现违反了蜕变关系,暴露出程序缺陷,从而说明了蜕变测试的有效性。     

面向条件筛选搜索系统的蜕变测试方法

为缓解拥有庞大数据信息的条件筛选搜索系统搜索结果时带来的Oracle问题,提出蜕变测试方法.通过识别程序多次输入输出之间的关系是否违反蜕变关系,可有效缓解Oracle问题.因此,有效识别蜕变关系是完成蜕变测试的前提.根据条件筛选搜索系统的自定义条件,设计两种蜕变关系模式帮助简化蜕变关系的识别,提高蜕变测试的故障检测质量...     

蜕变测试技术综述

软件测试是一种重要的、不可缺少的软件质量保证技术,用于发现和纠正软件中存在的缺陷和错误,但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序,可以有效地解决上述问题。经过近十年的研究,蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展,并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述,针对已有方法的不足之处,对未来的研究方向进行了展望,包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。     

蜕变测试技术综述

软件测试是一种重要的、不可缺少的软件质量保证技术,用于发现和纠正软件中存在的缺陷和错误,但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序,可以有效地解决上述问题。经过近十年的研究,蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展,并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述,针对已有方法的不足之处,对未来的研究方向进行了展望,包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。     

面向对象程序蜕变关系构造方法

针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次 按照执行效果的不同 将类中方法分成两类;再针对错误类型对每个方法分别构造蜕变关系;最后通过Rectangle类的实验对比该方法与其他方法。实验证明提出的由错误类型指导蜕变关系构造的方法的检错率有所提高,并且有助于错误定位。     

面向整数错误检测的蜕变测试方法研究

整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值。本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率。     

伪距定位程序的蜕变测试方法

考虑到伪距定位程序中算法数值计算复杂性及其在用户定位过程中的重要性，提出将蜕变测试方法应用于伪距定位程序的软件测试中。基于伪距定位程序的蜕变测试流程，通过分析算法几何属性、数值计算特性及具体实现，提出3种不同的蜕变关系。结合变异分析技术对蜕变关系设计的有效性进行验证，实验结果表明，该方法能够有效检测伪距定位程序中的软件缺陷、提高测试效率，进一步拓宽了蜕变测试方法的应用范围。     

蜕变关系构造基本准则与策略研究

蜕变测试可以部分解决软件测试中的Oracle问题,其关键步骤和难点是蜕变关系的构造,它将直接影响测试的效果。通过对典型程序测试的案例对蜕变关系的构造进行分析,归纳总结了若干构造蜕变关系的基本准则,并在案例研究中采用变异分析方法验证了构造准则的合理性。提出了蜕变测试与等价类测试结合运用的测试方法,此方法可用于输入空间易于分类的程序。     

坡度坡向量算程序蜕变测试方法

坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算特性以及具体实现算法等提出蜕变关系,并通过分析蜕变关系的适用范围,形成坡度坡向量算程序蜕变测试方法。最后,通过实例研究,验证了提出的蜕变关系在消除不同类型变异方面的有效性。实验结果表明,该方法可有效解决坡度、坡向量算程序的测试判定问题,同时也为解决地理信息系统中其他空间度量程序的测试判定问题提供了借鉴,进一步拓展了蜕变测试技术的应用范围。     

一种面向服务的异步消息中间件的设计

采用开放式标准的面向服务架构SOA是有效解决大规模企业应用集成的重要技术,但是SOA对异步传输和可靠为特征的复杂网络应用支持不足。传统消息中间件MOM虽具有松耦合和异步传输特性,但大多适用于企业内部集成,且其扩展性和灵活性不足,难以拓展到大规模网络环境。在全面吸收SOA和MOM的技术优点基础上,设计了一种面向服务的异步消息中间件体系结构,并研究了消息传输算法,服务重组和安全服务等关键技术。结合移动电子商务应用集成,验证了面向服务的异步消息中间件的扩展性、灵活性和有效性。     

基于面向服务架构的分布式业务部署平台

针对分布式环境下业务系统运营中资源利用率低、可靠性差和扩展性弱等问题,设计了一种基于面向服务架构的分布式业务部署平台。该平台基于面向服务架构(SOA)组件模型,可自动化地部署和管理分布式业务系统;根据服务组件运行状态,动态为其分配计算资源,实现业务能力的动态扩展和收缩;同时,采用双机热备、高可用集群机、业务迁移等机制保证了高可靠性。仿真实验表明,该平台能在保证业务服务质量(QoS)的同时具有较高资源利用率。     

Web服务测试问题综述

近来出现了一种新的支持分布式计算的范型--面向服务的体系结构(SOA).Web服务就是这种结构的具体实现形式之一.众所周知,为了获得一个可信的、可靠的服务,对服务实施完全、充分的测试是至关重要的.所以本文对Web服务的测试方法和技术进行了调查研究.本文从SOA体系结构下Web服务的特点及其测试的新的挑战出发,讨论了Web服务测试与传统测试的不同点;接着从多个不同的角度(测试的视角和测试的策略)讨论了Web服务测试的相关问题.然后给出了一个Web服务测试过程的组织框架,还讨论了目前Web服务测试的研究现状和一些代表性的Web服务测试技术.最后总结全文并给出未来的研究方向.     

基于SOA的OA与ERP的整合应用

通过从业务流程重构、加强业务监督和控制等层面,指出了办公自动化（OA）和企业资源计划系统（ERP）整合的必然性。在对面向服务的体系结构（SOA）进行深入剖析的基础上,提出了基于SOA的OA与ERP整合应用的方案。通过建立工作流平台和SOA架构平台的配合机制,使得企业能低成本、高效益地整合OA和ERP,实现系统的强势整合,从而为企业提供业务流程重组的平台,提高企业的竞争力。     

支持多类终端与服务定制的SaaS软件服务架构

由软件即服务(SaaS)模式中软件服务的概念与特点分析,可知现有的面向服务架构(SOA)不能完全支持软件服务的实现。此外,为了拓展软件服务的应用范围,实现多样化的服务,SaaS模式的软件服务必然要满足用户定制服务的需求,以及对多类用户终端的支持。通过对SOA的扩展,在其中引入了软件服务终端、软件服务端口、软件服务注册等模块,提出了一种支持多类终端与服务定制的SaaS软件服务架构,给出了该架构的结构与工作流程,并通过实验证明了该架构可以实现SaaS模式的软件服务,而且能够实现对上述功能需求的支持。     

面向服务的自适应云资源信息集成软件架构

面向服务体系架构是实现云资源信息集成的软件开发关键技术。目前,常见的SOA平台云服务效率比较低,尤其是不能支持自适应云资源信息集成软件的动态变化。为改善和提高软件的云资源信息集成效果和扩展度,首先对软件资源集成的云模型表示方法、云资源信息集成软件架构的行为规约及服务组合调度算法等方面展开研究;然后基于此改进相应算法,提出一种面向服务的自适应云资源信息集成软件架构;最后进行了应用实验。实验结果表明,所提模型比传统架构更具有良好的云资源信息集成效果和实用价值。     

面向服务体系结构及其系统构建研究

面向服务的体系结构(SOA)是一种新兴的软件体系结构,详细分析了SOA的基本结构和特点,比较了SOA同面向对象体系结构的不同之处,并结合一个实例给出了架构SOA系统的方法,描述了从基于组件设计方法过渡到面向服务设计方法的 过程。     

Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach

The attractive feature of Service Oriented Architecture (SOA) is that pieces of software conceived and developed by independent organizations can be dynamically composed to provide richer functionality. The same reasons that enable flexible compositions, however, also prevent the application of some traditional testing approaches, making SOA validation challenging and costly. Web services usually expose just an interface, enough to invoke them and develop some general (black-box) tests, but insufficient for a tester to develop an adequate understanding of the integration quality between the application and the independent web services. To address this lack we propose an approach that makes web services more transparent to testers through the addition of an intermediary service that provides coverage information. The approach, named Service Oriented Coverage Testing (SOCT), provides testers with feedback about how much a service is exercised by their tests without revealing the service internals. In SOCT, testing feedback is offered itself as a service, thus preserving SOA founding principles of loose coupling and implementation neutrality. In this paper we motivate and define the SOCT approach, and implement an instance of it. We also perform a study to asses SOCT feasibility and provide a preliminary evaluation of its viability and value.     

基于SCA的遗留系统移植研究与实现

针对传统遗留系统在面向服务计算移植过程中存在的重复性和多样性问题,提出一种基于服务组件框架（SCA）的遗留系统移植方案,将遗留系统移植到SCA组件系统中,通过python扩展生成器生成可以被该脚本调用的模块,在硬件平台上进行模拟,实验结果表明,该方案是可行的,能够避免因面向服务实现形式的差异而造成的重复移植。     

SOA中Data Service的分析与设计

针对当前分析与设计面向服务的架构（SOA）系统时面临的数据访问多样性问题,提出一种新的基于SOA的Data Service分析设计策略,该方法以数据实体为中心,以任务为向导,采用定位数据实体和分析数据操作相结合的方法,提供一套清晰的SOA系统数据访问层设计思路,从而实现Data Service的粒度和重用性之间的平衡。实验结果表明,该方法具有一定应用价值。