利用组件交互自动机测试基于组件的Web应用

Web应用有许多特殊性使得不能直接使用传统的测试方法进行测试,因而需要修改已有方法或完全提出新的方法用于Web应用的测试.把Web应用看成是不同交互组件的组装,一个复合组件由一些其它的组件构成.对于每个组件,都建立一个组件自动机.从被测Web应用的规格说明可以构造用XML描述的组件交互图(CID,Component Interaction Diagram).根据CID,可以产生组件测试序列(CTS,Component Test Sequence),它是组件的交互序列.测试用例是用一个个单独的XML文档表示的,是带有输入数据的CTS.这样,Web测试就变成组件交互自动机的测试.另外,给出了CTS覆盖度的评估过程(CTSC,Component Test Sequence Coverage),并阐述了如何提高CTSC的方法.论文的最后,对该测试方法的可用性进行了理论分析.     

Web软件的一种有效测试方法

测试Web软件面临极大的挑战。从构造Web软件的页面流图出发,提出了一种测试路径生成的方法,以一个简单的Wcb登录系统SWLS(Simple Web Login System)为例对该方法进行了阐述,并给出了Web软件测试的一种有效模型。该方法给页面流测试技术提供了一个有意义的基础。     

一种基于关系图的Web应用测试生成方法

Web应用的迅猛发展及其自身的复杂特性给其测试带来了一定的难度,使得传统的测试方法已不能满足需求,迫切需要新的Web测试方法和技术.定义了Web应用模式并构造其关系图以对Web应用进行建模.关系图用来建立产生路径表达式的路径生成图,继而提出一种测试路径生成方法.若提供输入值,则测试路径可以很容易地构造测试用例.为了说明问题,给出了一个简单Web登录系统作为案例.此外,根据"分而治之"的原理,当被测Web应用过于复杂时,给出了一种路径生成策略.该策略使得Web应用简单而易控制,在某种程度上限制了状态空间的爆炸.最后,从理论上阐明了本文给出方法和规则的通用性及正确性.     

活动图模型驱动的Web应用程序测试方法

提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果的报告。实现了一个原型工具以支持活动图模型驱动的Web应用程序测试方法,设计并完成了一个实验,验证了该方法的可行性与有效性。     

基于扩展ORD图的类间集成测试顺序改进算法

在UML类图的基础上,将传统对象关系图(ORD)模型进行了扩展,并对它们进行了形式化的定义.提出了一种基于扩展ORD图的类间集成测试顺序改进算法,通过递归调用改进的Kosaraj鉴别强连通分量的算法来确定SCCs.本算法与Tai和Traon的两种算法比较,需要的测试桩最少,效率最高.理论分析和初步的实验证明这种方法是可行和有效的.     

基于模型的Web应用测试

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、...     

Web应用功能交互的建模与测试用例生成

为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若千个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建模.在此基础上提出了完整消息传递序列测试准则,并根据该测试准则生成抽象的测试用例集,以实现对Web应用交互性的测试,提高Web应用测试的有效性,力图实现Web应用测试的自动化.最后设计了一个工具原型用于测试用例的生成.     

一种基于功能构件的Web应用建模与测试方法

Web应用与传统程序有着很大差别,后者的一些建模和测试方法不能完全适用于前者.提出了一种有效的对Web应用测试的方法.按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,并在功能上将其对应到实际的Web应用模块.用有向图表示功能构件的结构关系,用FSM表示功能构件的行为关系,用FSM的复合表示功能构件的交互.提出了完整执行序列覆盖、构件完整执行序列覆盖两个测试准则,根据这些准则生成测试用例集.为支持所提出的方法,设计了一个测试用例生成的工具原型.     

UML模型到FSM模型的转换

通常可采用UML的各种图从Web应用不同方面对其进行建模.当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐.如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试.提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM.     

一种面向对象的Web Application测试模型

为了保证Web应用的质量和可靠性,需要不断加强对Web应用软件的测试研究.Web应用软件的有效测试依赖于对其进行充分的分析和理解,提出良好的测试模型,并基于测试模型提出测试策略和测试方法.提出了一种面向对象的Web应用软件测试模型WATM,并且基于WATM提出了测试用例的设计和选择的方法,从而更好地支持Web应用软件的导航测试和状态行为测试.     

Testing Web applications by modeling with FSMs

Researchers and practitioners are still trying to find effective ways to model and test Web applications. This paper proposes a system-level testing technique that combines test generation based on finite state machines with constraints. We use a hierarchical approach to model potentially large Web applications. The approach builds hierarchies of Finite State Machines (FSMs) that model subsystems of the Web applications, and then generates test requirements as subsequences of states in the FSMs. These subsequences are then combined and refined to form complete executable tests. The constraints are used to select a reduced set of inputs with the goal of reducing the state space explosion otherwise inherent in using FSMs. The paper illustrates the technique with a running example of a Web-based course student information system and introduces a prototype implementation to support the technique.     

Web测试综述

1 引言 Web以其广泛性、交互性和易用性等特点迅速风靡世界,网页数量正以指数级飞速增长。能够吸引尽可能多的用户并对其长时间关注是网站追求的主要目标,也是衡量一个网站是否成功的主要指标,这就对网页功能的正确性、有效性和完善性提出了较高的要求,从而Web测试就成为Web应用开发过程中的一个重要环节。通过Web测试尽可能多地发现浏览器端和服务器端程序中的错误并及时加以修正,以保证Web应用的质量。由于Web具有分布、异构、并发和平台     

一种基于Web软件集成测试的建模方法

本文给出了一种Web软件集成测试的建模方法。该方法通过分析Web应用程序体系结构,对Web应用划分,用分层的有限状态机对Web应用进行行为建模,通过采用基于有限状态机的导航模型来指导测试人员进行Web集成测试;采用UML扩展的模型对Web应用组件间的交互建模,通过建立基于UML的组件依赖模型并提供相应的测试用例生成规则来提取Web应用的测试用例。     

一种自适应的Web压力测试模型

软件压力测试对于保证软件实现的正确性起着至关重要的作用。Web压力测试是评价一个Web程序应用的主要手段。文章对Web压力测试工具SilkPerformer6.5的应用进行了改进。实现了并发用户数量的基于指数增长和区间半分法的自适应测试模型。文章还对一个简单的商务网站进行了测试,其最终并发用户数量有比较满意的收敛速度。     

一种Web服务模型的动态行为转换方法研究实现

随着业务流程的复杂性与日俱增,编排和协调Web服务的价值也日益被人们所认识。近年来,国内外一些研究机构和IT企业在关于模型驱动架构MDA在Web服务中的应用方面作了不同程度的研究,但仅仅集中于Web服务模型的静态结构转换。根据MDA的思想,在Web服务模型的转换中,使用动态行为的平台无关模型PIM来定义业务流程,并提供将PIM转换成平台相关模型PSM的方法。研究Web服务模型的动态行为转换,讲述用UML活动图定义业务流程,并提供一种如何从UML活动图转换成BPEL的方法。     

基于Web服务的工作流事务处理的研究与实现

事务处理是Web服务实现分布式信息集成的关键技术之一,利用工作流技术实现Web服务的事务处理是实现分布式事务的一种有效手段.提出一个能够处理分布式、异构应用下Web服务组合事务的模型,并详述Web服务事务在执行过程中抛出异常时,补偿事务的产生策略和执行机制.     

利用CORBA和JavaBeans构建面向服务的Web计算

效率低下和缺乏扩展性是阻碍传统的面向信息的Web计算在企业中得到广泛应用的两个主要障碍.针对这种现状,文章首先提出了一个面向服务的Web计算的概念模型,然后讨论了实现该模型的一些相关技术,最终设计了一个基于此模型的原型系统.