《【大学课件】基于编排场景的web服务相符性测试.ppt》由会员分享，可在线阅读，更多相关《【大学课件】基于编排场景的web服务相符性测试.ppt（27页珍藏版）》请在三一文库上搜索。
1、基于编排场景的web服务相符性测试,http:/ Web服务编排及其场景介绍 基于组合方法的场景精化 测试数据生成,Web服务是基于XML规范的分布式计算技术。 Web服务组合是通过组合基本Web服务而提供增值服务的能力，这些基本Web服务可能由不同的组织提供。 Web服务组合语言 Web服务编制(Orchestration), WS-BPEL Web服务编排(Choreography), WS-CDL,Web服务及其组合,Web服务与编排规范的相符性测试问题,编排作为多方协作的合同，如何确保已实现的Web服务与编排规范的相符性（conformance)是一个热点研究问题。 本项目提出基于编排
2、场景的相符性测试框架，并部分实现了一些主要模块。,服务编排,Web服务编排从全局观点描述一个业务流程的多个参与方之间的交互。 WS-CDL是W3C组织提出的编排描述语言 编排流程由活动组成，主要活动称为交互，交互制定了角色间消息交换的单元。,编排场景,一个编排场景描述了多个参与方之间的交互序列,场景的形式定义,R:= role R I: := info I d V:= var I x A:= Request R1.x op R2.y Guard | Response R1.x op R2.y Guard Guard:=guardR.x operator v | guardR.x instanc
3、eof I | guardguard | True V:=R.x | expression operator := | = | | | ,XML Schema类型定义,Type Partition Rules,Type Partition Example,组合方法简介,组合测试方法用于解决影响系统各种因素之间的组合问题。 组合测试用例生成问题，针对具体待测软件，在满足给定组合覆盖的要求下生成规模尽可能小的测试用例集。 组合测试方法相关概念： 变量（Variable）：在组合测试的范畴中，变量是待测软件的输入影响因素。 水平（Level）：在组合测试的范畴中，水平就是变量的可能取值。 强度（St
4、rength）：在组合测试的范畴中，强度就是变量与变量相互作用的程度。,Cascade工具,Cascade是中科院软件所国家重点实验室的研究者开发出来的组合测试用例生成工具 Cascade工具的输入输出格式： 变量以及水平输入： | i = 1, 2, 3 约束：ExpressA - ExpressB 输出： | l1L(V1), l2 L(V2), , ln(Vn),Type Tree Model,T=,N是元素节点和控制节点的集合 r是根节点 C是对类型树结构的约束集合，XML Schema定义中的指示器可以对树结构产生影响 E是边的集合，边可以表示为e(m,c,n)，,Type Tree
5、 Model Example,The Example of Using Cascade,SUB-TYPE,purchaseOrder_sequence,coupon,address,goods,purchaseOrder,Goods_sequence,goodName,goodNum,price,coupon_choice,cashback,discount,minOccur=2 maxOccur=2,occurence=0,工具实现过程,测试数据生成,Input：精化后的场景 Output：一组测试数据 目的：为场景中被测服务的每一个交互，提供满足约束的数据,约束类型,Guard 约束 类型
6、约束 值约束 Facet 约束 Enumeration Pattern maxLength minLength maxInclusive minInclusive,Guard约束,Guard:=guardR.x operator v | guardR.x instanceof I | guardguard V:=R.x | expression operator := | = | | | 获得R.x的方式 根据xpath查询语句以及XML Schema定义在xml文档中获得 编排中的XPath 1.0 extension functions, poVar instanceof purchase
7、OrderType ;, goodsVar instanceof goodsType ;, supplyVar instanceof supplyType ;,WebShop.supplyVar = true bankRequsetInfoVar instanceof requestBankInforType ;, bankIDRequestVar instanceof requestBankInforType “hasDeadLinePassed(deadLineTime,Bank) = false”;,Facet约束,限定（restriction）用于为 XML 元素或者属性定义可接受的值
8、。对 XML 元素的限定被称为 facet 。 故我们考虑为类型树的每一个叶子节点增加限定的信息 Enumeration 枚举 Pattern 模式 maxLength minLength 字符串长度 maxInclusive minInclusive 数值型元素的值, ,测试数据实例, ICBC , AABB 1 1 BBCC 1 45 CNabcd ,总结,基于场景，提出了web服务组合与编排的相符性测试框架 用组合方法精化编排场景 同时部署桩服务和被测服务，通过查看执行日志，可以了解到场景是否顺利执行，如果成功，我们称被测服务与该场景相符。 如果所有的场景都验证相符，称为与编排相符。,Thank you for listening,