[發(fā)明專利]一種基于BPEL組合服務(wù)的修改影響分析方法

在審

• 申請(qǐng)?zhí)枺?/td>: 201710650776.1
• 申請(qǐng)日: 2017-08-02
• 公開(kāi)（公告）號(hào): CN107480058A
• 公開(kāi)（公告）日: 2017-12-15
• 發(fā)明（設(shè)計(jì)）人: 吉順慧;馬魏;張鵬程
• 申請(qǐng)（專利權(quán)）人: 河海大學(xué)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 南京蘇高專利商標(biāo)事務(wù)所(普通合伙)32204
• 代理人: 王安琪

技術(shù)領(lǐng)域

本發(fā)明涉及服務(wù)計(jì)算機(jī)領(lǐng)域，尤其是一種基于BPEL組合服務(wù)的修改影響分析方法。

背景技術(shù)

面向服務(wù)的體系架構(gòu)SOA以Web服務(wù)作為其實(shí)現(xiàn)技術(shù)來(lái)支持分布式軟件的開(kāi)發(fā)、集成和使用，是分布式系統(tǒng)領(lǐng)域技術(shù)進(jìn)步的一個(gè)里程碑。在Web服務(wù)的技術(shù)體系中，服務(wù)組合是一項(xiàng)核心的技術(shù)，BPEL服務(wù)組合描述語(yǔ)言提供了組合規(guī)范將基本服務(wù)按一定的邏輯組合起來(lái)以提供一個(gè)功能更強(qiáng)大的服務(wù)。BPEL組合服務(wù)作為一種新型的軟件范型，在運(yùn)行過(guò)程中會(huì)面臨著各種各樣的挑戰(zhàn)，如運(yùn)行環(huán)境的改變、用戶需求的改變、缺陷修復(fù)等。為了應(yīng)對(duì)這些挑戰(zhàn)，BPEL組合服務(wù)不可避免地要發(fā)生演化。演化是BPEL組合服務(wù)生命周期中的一個(gè)重要階段。

BPEL組合服務(wù)的每一個(gè)版本都需要經(jīng)過(guò)測(cè)試來(lái)檢測(cè)其中可能存在的錯(cuò)誤以保證其質(zhì)量，對(duì)演化版本，常采用回歸測(cè)試技術(shù)來(lái)提高測(cè)試的效率。目前關(guān)于BPEL組合服務(wù)回歸測(cè)試的研究存在兩個(gè)問(wèn)題：一是回歸測(cè)試一般基于路徑覆蓋作為測(cè)試準(zhǔn)則，沒(méi)有特別針對(duì)數(shù)據(jù)流測(cè)試準(zhǔn)則展開(kāi)研究，而測(cè)試BPEL組合服務(wù)中數(shù)據(jù)流的正確性是十分重要且必要的；二是目前的研究一般局限于BPEL流程的回歸測(cè)試，而B(niǎo)PEL組合服務(wù)是由流程、服務(wù)接口以及成員服務(wù)組成的有機(jī)整體，服務(wù)接口和成員服務(wù)的演化也會(huì)給BPEL組合服務(wù)帶來(lái)影響，其受影響的部分也必須進(jìn)行重新測(cè)試。因此，考慮以數(shù)據(jù)流覆蓋為測(cè)試準(zhǔn)則的回歸測(cè)試，并在回歸測(cè)試的過(guò)程中多方位完整地考慮BPEL組合服務(wù)各種演化情況顯得尤為重要。如何分析BPEL流程、服務(wù)接口和成員服務(wù)的演化給BPEL組合服務(wù)的數(shù)據(jù)流帶來(lái)的影響是我們關(guān)注的問(wèn)題。

發(fā)明內(nèi)容

本發(fā)明所要解決的技術(shù)問(wèn)題在于，提供一種基于BPEL組合服務(wù)的修改影響分析方法，能夠?qū)PEL組合服務(wù)進(jìn)行全面的修改影響分析。

為解決上述技術(shù)問(wèn)題，本發(fā)明提供一種基于BPEL組合服務(wù)的修改影響分析方法，包括如下步驟：

(1)構(gòu)造BPEL組合服務(wù)基線版本和演化版本的XCFG模型；

(2)分析組合服務(wù)兩個(gè)版本的數(shù)據(jù)流；

(3)識(shí)別演化版本中受修改影響的定義-使用對(duì)。

優(yōu)選的，步驟(1)中，構(gòu)造BPEL組合服務(wù)的XCFG模型，除了要解析BPEL組合流程并將BPEL元素轉(zhuǎn)換為XCFG模型的對(duì)應(yīng)元素，還要解析與BPEL流程相關(guān)聯(lián)的組合服務(wù)以及各成員服務(wù)的WSDL描述文檔，分析各消息元素的組成類型，并賦值給V中相應(yīng)變量的concreteType域。

優(yōu)選的，步驟(2)中，基于XCFG模型計(jì)算變量的定義-使用對(duì)按如下步驟處理：

(a)擴(kuò)展基于控制流圖CFG的可到達(dá)定義的計(jì)算方程式，定義基于XCFG的可到達(dá)定義的計(jì)算方程式，以考慮BPEL中的特有元素。

(b)采用經(jīng)典的最大不動(dòng)點(diǎn)MFP方法求解可到達(dá)定義的計(jì)算方程式。

(c)遍歷XCFG結(jié)點(diǎn)，基于結(jié)點(diǎn)的可到達(dá)定義信息，計(jì)算變量的定義-使用對(duì)，并根據(jù)使用結(jié)點(diǎn)是將變量用于計(jì)算還是用于謂詞表達(dá)式，設(shè)定其類型是計(jì)算型Computation或謂詞型Predicate。

優(yōu)選的，步驟(3)中，從服務(wù)集成者的角度，相比較基線版本，演化版本可觀測(cè)到的修改類型包括流程修改、綁定修改和接口修改三種，比較組合服務(wù)兩個(gè)版本的XCFG模型以及定義-使用對(duì)，分別針對(duì)流程修改、綁定修改和接口修改，分析它們對(duì)數(shù)據(jù)流的影響，計(jì)算受影響的定義-使用對(duì)，包括直接受影響的定義-使用對(duì)、受定義值影響的定義-使用對(duì)以及受控制依賴條件影響的定義-使用對(duì)，從而確定演化版本中需要進(jìn)行回歸測(cè)試的定義-使用對(duì)。具體方法如下：

(a)進(jìn)行流程修改影響分析：首先對(duì)兩個(gè)版本中的定義-使用對(duì)集合作比較，識(shí)別直接受影響的Computation類型的定義-使用對(duì)；然后分析演化版本中定義值發(fā)生修改的XCFG結(jié)點(diǎn)，識(shí)別受定義值修改影響的Computation類型的定義-使用對(duì)；最后識(shí)別演化版本中控制依賴條件發(fā)生修改的XCFG結(jié)點(diǎn)，識(shí)別受影響的Predicate類型的定義-使用對(duì)以及受控制依賴條件修改影響的定義-使用對(duì)。

(b)進(jìn)行綁定修改影響分析：首先比較兩個(gè)版本中的伙伴鏈接集合，識(shí)別演化版本中發(fā)生綁定修改的伙伴鏈接，然后查找演化版本中與綁定發(fā)生修改的成員服務(wù)進(jìn)行交互的活動(dòng)，進(jìn)而分析定義值以及控制依賴條件發(fā)生修改的XCFG結(jié)點(diǎn)，識(shí)別受值修改以及受控制依賴條件影響的定義-使用對(duì)

(c)進(jìn)行接口修改影響分析：比較兩個(gè)版本的變量集合，找出演化版本中具體類型發(fā)生修改的變量集合，與這些變量相關(guān)的定義-使用對(duì)都需要進(jìn)行回歸測(cè)試。