《[PPT]-基于编排场景的web服务相符性测试》由会员分享，可在线阅读，更多相关《[PPT]-基于编排场景的web服务相符性测试（29页珍藏版）》请在金锄头文库上搜索。
1、基于编排场景的web服务相符性测试报告人：马凯 北京工业大学计算机学院 2012.11.3报告内容v研究背景 vWeb服务编排及其场景介绍 v基于组合方法的场景精化 v测试数据生成vWeb服务是基于XML规范的分布式计算技术。 vWeb服务组合是通过组合基本Web服务而提供增 值服务的能力，这些基本Web服务可能由不同的 组织提供。 vWeb服务组合语言 Web服务编制(Orchestration), WS-BPEL Web服务编排(Choreography), WS-CDLWeb服务及其组合Web服务与编排规范的相符性测试问题v编排作为多方协作的合同，如何确保已实现的 Web服务与编排规范的
2、相符性（conformance) 是一个热点研究问题。v本项目提出基于编排场景的相符性测试框架，并 部分实现了一些主要模块。服务编排vWeb服务编排从全局观点描 述一个业务流程的多个参与 方之间的交互。 vWS-CDL是W3C组织提出 的编排描述语言 v编排流程由活动组成，主要 活动称为交互，交互制定了 角色间消息交换的单元。编排场景v一个编排场景描述了多个参与方之间的交互序列场景的形式定义v R:= role R v I: := info I d v V:= var I x v A:= Request R1.x op R2.y Guard | Response R1.x opR2.y Gua
3、rd v Guard:=guardR.x operator v | guardR.x instanceof I | guardguard | True v V:=R.x | expression v operator := | = | | | XML Schema类型定义Type Partition Rules类型定义 细化后的子类型 (k1Type Partition Example组合方法简介v 组合测试方法用于解决影响系统各种因素之间的 组合问题。 v 组合测试用例生成问题，针对具体待测软件，在 满足给定组合覆盖的要求下生成规模尽可能小的 测试用例集。 v 组合测试方法相关概念： 1.变
4、量（Variable）：在组合测试的范畴中，变量是 待测软件的输入影响因素。 2.水平（Level）：在组合测试的范畴中，水平就是变 量的可能取值。 3.强度（Strength）：在组合测试的范畴中，强度就 是变量与变量相互作用的程度。Cascade工具vCascade是中科院软件所国家重点实验室的研究 者开发出来的组合测试用例生成工具 vCascade工具的输入输出格式： 变量以及水平输入： | i = 1, 2, 3 约束：ExpressA - ExpressB 输出： | l1L(V1), l2 L(V2), , ln(Vn)Type Tree ModelT=vN是元素节点和控制节点的集
5、合 vr是根节点 vC是对类型树结构的约束集合，XML Schema定 义中的指示器可以对树结构产生影响 v vE是边的集合，边可以表示为e(m,c,n)，Type Tree Model ExampleThe Example of Using CascadeSUB-TYPEpurchaseOrder_sequencecouponaddressgoodspurchaseOrderGoods_sequencegoodNamegoodNumpricecoupon_choicecashbackdiscountminOccur=2 maxOccur=2occurence=0工具实现过程测试数据生成v I
6、nput：精化后的场景 v Output：一组测试数据v 目的：为场景中被测服务的每一个交互， 提供满足约束的数据约束类型v Guard 约束 类型约束 值约束 v Facet 约束 Enumeration Pattern maxLength minLength maxInclusive minInclusiveGuard约束v Guard:=guardR.x operator v | guardR.x instanceof I | guardguard v V:=R.x | expression v operator := | = | | | v 获得R.x的方式 根据xpath查询语句以及
7、XML Schema定义在 xml文档中获得 编排中的XPath 1.0 extension functions poVar instanceof purchaseOrderType ; goodsVar instanceof goodsType ; supplyVar instanceof supplyType ;WebShop.supplyVar = true bankRequsetInfoVar instanceofrequestBankInforType ; bankIDRequestVar instanceof requestBankInforType “hasDeadLinePas
8、sed(deadLineTime,Bank) = false”;Facet约束v 限定（restriction）用于为 XML 元素或者属性 定义可接受的值。对 XML 元素的限定被称为 facet 。 v 故我们考虑为类型树的每一个叶子节点增加限定 的信息 1. Enumeration 枚举 2. Pattern 模式 3. maxLength minLength 字符串长度 4. maxInclusive minInclusive 数值型元素的 值v v v v v v v v v v v v v vv v v v v v v v v v v v v测试数据实例ICBCAABB 1 1BB
9、CC 1 45CNabcd总结v基于场景，提出了web服务组合与编排的相符性 测试框架 v用组合方法精化编排场景v 同时部署桩服务和被测服务，通过查看执行日志 ，可以了解到场景是否顺利执行，如果成功，我 们称被测服务与该场景相符。 v 如果所有的场景都验证相符，称为与编排相符。Thank you for listening%AuOidyXaQtQ%Fvvu9wS4Onw*pwFT&0MbkOG2&sEo%Pyvi!GH)SuF)GW%udsij0N!)A3DfUs&-bL3!lK2mx-(-8NLts5yHQkqIJKNU!kzf*UC0(!iIv5t0(x(FURz5t31bR1PlvL*x
10、MEd5dVZ!xvOEUAYGE13eXQ82-WG8*9AxBckxI3z-EKyA2P7MzK)A)p007elu28mYdsRwfu*7xXFgwyh)hfaJED-a2LIwL#x34IaLRymExbyQeWGciPt)+n5d(-kY*on-Z%DdsJdHUuoxOkxhECJo)MbJEz&iq*caLmXxX#8W-fIKI32u5zvGvZ1#+ZpwcfvZW$!tfJy7MSDd-xM2iT-$&xmrbJ$h3BkyX2TEEzVj9juGxTVpKPU!f!lB5M!Kq#lzb5X!B&FmkjySYoSleU!4zqBeI$CR- N&U5$33oOrsmOr
11、tZWSYjQ2K$bHHJq!#tH9Fg4%)D4yLaUfKozo7X-&kg8i%1%g33x3hzmjjCuH#8bJoFP7feFq*eVH5sjBAS$uNwwo&xBpNH8N!GE)f)CNo9%Ud-)jEvG3d&XJlShS5w*kesouF2e!wF$F8*+j(X4-%+kEmVh9OhEe2(xi5QJhuYYKjQoAsnohS%g6Ns+ETjwpJlCLCG0)%!Uz(ZcyKi+Ajlf8b8cMC4-f%jzIiHG$*do+#wT8h+P2ZWgDxfO9LX!b%KN+wYzS-3+dRb$(BfEWxjK&P3OlZmaEYxbz!mEYsQz0
12、qp!VXleiQJJw- VJjdzjH)9WX$Mtt63)xtGuD*(7zGA6K!#zqcreFD&(4fiN51yZhhw0OaZPjEzHr)bcIitN7UT)o9jaBF3xsfJbU)3!XMdjJz4BqC3rp0brcCatjOfhA04ezroHesEVyO+0SD3MKyt0%f%1guq1qAVoYau4bR1WNoDzRg20fCAZ1oUO!WWy1r-cgCyV)N3qwE70bVAw)Ci+F284*WCheLktRMecunT$R4JToSnHtkbdIo2oOxXh*hZ#j3ukBHHvr6z3J7P8ziMbVK#S3a!w7$&+7coW*moA
13、fMqvfeb0esFWcUlZyJllmil9dTf7D&anLZ-QGgv2Ng#3pQSCohDEXdz- DRgf)$)&t6e5fjWNJODI*vGEpHM!Kpdmy0l85CTEB5NQ(41V!TpgrBswaWQJnWaUQlpoHkvAx5h+27HtVo4qzIfvgA*kfa$eDttB8P9BN%lbgtq(YC&FHoaW%$7viz0L6Yn3(1JVaFRxSCkNw0A9hK14KdwhkQ4LWLA+hzpFTpsu4eEEO4BZexbllYtgsprtEZpOPcIkiA7aEs)c3OJa5h+lPTc27*DCdjAQ%QprI92N*G-aOHx
14、bBz6D8M+GR1K2X(DQiZxy(8(oGzbJ&0!Aa*VkbwtigIf*1E*r7j*+9U6EFO#t!(TJJBrSrw0926Y8ps$0KYMgkhtz- Min*F*RF%0koUCHAybFx9+nvaIriGwncxHnJ0896Q9D(IFI(GkK%ToNQR9+R5bD9l+ZeWl1EA3wbd6XIE+T8L3hI+E6bF%Qr#3msH5PkDZQ!sl+U0D+%8E#!U8jjm5ZY-YiQBIw86g9NLEsk25(YZA4%-83X!1qC27jeuDZ$tPT1SRxVUIEw5IuJsER#d84Z7TQ!Xs*zoQ6fGCOMP
15、mFtNx6$BIR+JvP$zLsjUK2!wc7B(tHnV$%837uUQfskilevILAcaK1(nhKKH+D6Z$5#u32$!TXXxv1XLokC0$s5o1- olxgeG8QCb1JBN4kZOzHU96yRm$QctHygD41huVo7mH4cnv*vkq5Cyv76bbMTp&E&gLikAP7zAFTmtNaK!woBDgmW3+HOJ(p9eTGq#3Uql1PYjF%RWz95bXx)ky)am#h!acHX6dz6F$qJv!uZ&pO*Oq3q$M1DIHQ&- B(lhsUjBHUYOclTXqjhyshbw*DdhXt8pgu6e#HZW+MB07CLUkRt3H71c(rlIxI%RXzISIoAwI#5RHT(cNaW8MqU1WpoqqJG8V1%lfkTpdJ#1VGjj5bEnxMz)%OV5Mns9kzVcYyMmI8R(80RgdTLtotvlkyX5%x2ojZ6V)lAjAnULVTohz51z9*aFbj8pkNeY$KNRsv6nOZy)yAi#Ul*1PX+Mw%hl+E#*rDuB1MS57+hzlOq6+yGsI0O82P#u5qXDRxqmxy#Gt6w7uD2UNKZ&h8RlbHkwINB8%iwQcUsyg
