【大學(xué)課件】基于編排場(chǎng)景的web服務(wù)相符性測(cè)試

1、基于編排場(chǎng)景的web效勞相符性測(cè)試 報(bào)告內(nèi)容 v研究背景 vWeb效勞編排及其場(chǎng)景介紹 v基于組合方法的場(chǎng)景精化 v測(cè)試數(shù)據(jù)生成 vWeb效勞是基于XML標(biāo)準(zhǔn)的分布式計(jì)算技術(shù)。 vWeb效勞組合是通過(guò)組合根本W(wǎng)eb效勞而提供增 值效勞的能力，這些根本W(wǎng)eb效勞可能由不同的 組織提供。 vWeb效勞組合語(yǔ)言 vWeb效勞編制(Orchestration), WS-BPEL vWeb效勞編排(Choreography), WS-CDL Web效勞及其組合 Web效勞與編排標(biāo)準(zhǔn)的相符性測(cè)試問(wèn)題 v編排作為多方協(xié)作的合同，如何確保已實(shí)現(xiàn)的 Web效勞與編排標(biāo)準(zhǔn)的相符性conformance) 是一個(gè)熱

2、點(diǎn)研究問(wèn)題。 v本工程提出基于編排場(chǎng)景的相符性測(cè)試框架，并 局部實(shí)現(xiàn)了一些主要模塊。 效勞編排 vWeb效勞編排從全局觀點(diǎn)描 述一個(gè)業(yè)務(wù)流程的多個(gè)參與 方之間的交互。 vWS-CDL是W3C組織提出 的編排描述語(yǔ)言 v編排流程由活動(dòng)組成，主要 活動(dòng)稱為交互，交互制定了 角色間消息交換的單元。 編排場(chǎng)景 v一個(gè)編排場(chǎng)景描述了多個(gè)參與方之間的交互序列 場(chǎng)景的形式定義 v R:= role R v I: := info I d v V:= var I x v A:= Request R1.xop R2.y Guard | Response R1.x opR2.y Guard v Guard:=gua

3、rdR.x operator v | guardR.x instanceof I | guardguard | True v V:=R.x | expression v operator := | = | | | XML Schema類型定義 Type Partition Rules 類型定義類型定義 細(xì)化后的子類型細(xì)化后的子類型 (k1kk2) Type Partition Example 組合方法簡(jiǎn)介 v 組合測(cè)試方法用于解決影響系統(tǒng)各種因素之間的 組合問(wèn)題。 v 組合測(cè)試用例生成問(wèn)題，針對(duì)具體待測(cè)軟件，在 滿足給定組合覆蓋的要求下生成規(guī)模盡可能小的 測(cè)試用例集。 v 組合測(cè)試方法相關(guān)概念

4、： v 變量Variable：在組合測(cè)試的范疇中，變量 是待測(cè)軟件的輸入影響因素。 v 水平Level：在組合測(cè)試的范疇中，水平就 是變量的可能取值。 v 強(qiáng)度Strength：在組合測(cè)試的范疇中，強(qiáng) 度就是變量與變量相互作用的程度。 Cascade工具 vCascade是中科院軟件所國(guó)家重點(diǎn)實(shí)驗(yàn)室的研究 者開(kāi)發(fā)出來(lái)的組合測(cè)試用例生成工具 vCascade工具的輸入輸出格式： 變量以及水平輸入： | i = 1, 2, 3 約束：ExpressA - ExpressB 輸出： | l1L(V1), l2 L(V2), , ln(Vn) Type Tree Model T= vN是元素節(jié)點(diǎn)和控制

5、節(jié)點(diǎn)的集合 vr是根節(jié)點(diǎn) vC是對(duì)類型樹(shù)結(jié)構(gòu)的約束集合，XML Schema定 義中的指示器可以對(duì)樹(shù)結(jié)構(gòu)產(chǎn)生影響 v vE是邊的集合，邊可以表示為e(m,c,n)， Type Tree Model Example The Example of Using Cascade SUB-TYPE purchaseOrder_sequence coupon address goods purchaseOrder Goods_sequence goodNamegoodNumprice coupon_choice cashbackdiscount minOccur=2 maxOccur=2 occurenc

6、e=0 工具實(shí)現(xiàn)過(guò)程 測(cè)試數(shù)據(jù)生成 v Input：精化后的場(chǎng)景 v Output：一組測(cè)試數(shù)據(jù) v 目的：為場(chǎng)景中被測(cè)效勞的每一個(gè)交互， 提供滿足約束的數(shù)據(jù) 約束類型 v Guard 約束 類型約束 值約束 v Facet 約束 Enumeration Pattern maxLength minLength maxInclusive minInclusive Guard約束 v Guard:=guardR.x operator v | guardR.x instanceof I | guardguard v V:=R.x | expression v operator := | = | |

7、| v 獲得的方式 根據(jù)xpath查詢語(yǔ)句以及XML Schema定義在 xml文檔中獲得 編排中的XPath 1.0 extension functions poVar instanceof purchaseOrderType ; goodsVar instanceof goodsType ; supplyVar instanceof supplyType ; WebShop.supplyVar = true bankRequsetInfoVar instanceofrequestBankInforType ; bankIDRequestVar instanceof requestBankI

8、nforType “hasDeadLinePassed(deadLineTime,Bank) = false; Facet約束 v 限定restriction用于為 XML 元素或者屬性 定義可接受的值。對(duì) XML 元素的限定被稱為 facet 。 v 故我們考慮為類型樹(shù)的每一個(gè)葉子節(jié)點(diǎn)增加限定 的信息 v Enumeration 枚舉 v Pattern 模式 v maxLength minLength 字符串長(zhǎng)度 v maxInclusive minInclusive 數(shù)值型元素的值 v v v v v v v v v v v v v v v v v v v v v v v v v v v 測(cè)試數(shù)據(jù)實(shí)例 ICBC AABB 1 1 BBCC 1 45 CNabcd 總結(jié) v基于場(chǎng)景，提出了web效勞組合與編排