基于數(shù)據(jù)流的Web服務(wù)組合自動(dòng)測(cè)試工具的研究.pdf

1、現(xiàn)有的服務(wù)組合建模語(yǔ)言中，業(yè)務(wù)流程執(zhí)行語(yǔ)言BPEL已成為業(yè)界標(biāo)準(zhǔn)。越來(lái)越多的工作流通過(guò)BPEL進(jìn)行建模，需要相應(yīng)的測(cè)試技術(shù)來(lái)保證服務(wù)組合能夠正確有效地運(yùn)行。 目前一些研究者試圖通過(guò)模型檢查技術(shù)來(lái)提高服務(wù)組合的可靠性，將WSFL、BPEL或OWL-S轉(zhuǎn)化成相應(yīng)的模型，并利用已有的模型檢查工具驗(yàn)證服務(wù)組合是否滿足所需要的屬性或者是否存在例如死鎖等有害屬性。由于Petri網(wǎng)善于描述并發(fā)行為和分析動(dòng)態(tài)變化系統(tǒng)，因此被廣泛地用于Web服務(wù)

2、組合的建模。然而與CFG相比，Petri-Net的程序表示過(guò)于復(fù)雜，并且難以對(duì)服務(wù)組合流程進(jìn)行精確的數(shù)據(jù)流分析。 在測(cè)試用例生成方面，通過(guò)基于白盒的路徑覆蓋策略生成測(cè)試用例是比較常見(jiàn)的方法，但現(xiàn)有的研究方法大都忽略了對(duì)服務(wù)組合中數(shù)據(jù)依賴的分析，并且缺少成熟的用于服務(wù)組合的測(cè)試工具。為此，本文以傳統(tǒng)軟件的數(shù)據(jù)流測(cè)試思想為基礎(chǔ)，試圖創(chuàng)建一個(gè)面向Web服務(wù)組合的、較為系統(tǒng)的數(shù)據(jù)流自動(dòng)測(cè)試工具，可以自動(dòng)地檢測(cè)程序中有害的數(shù)據(jù)流異常并根據(jù)

3、各種數(shù)據(jù)流覆蓋策略生成測(cè)試路徑。 論文的工作主要包括以下幾個(gè)方面：(1)結(jié)合WSDL分析了BPEL的數(shù)據(jù)依賴性，并對(duì)現(xiàn)有的BPEL的模型表示方法進(jìn)行了改進(jìn)，從而可以精確地收集每條測(cè)試路徑的變量約束以幫助測(cè)試用例的生成。文中提出了死路徑消除的表示方法，很好地解決了數(shù)據(jù)流分析中的困難。(2)給出了一個(gè)為服務(wù)組合流程創(chuàng)建所需要的標(biāo)注了定義-使用信息的控制流圖，并在此基礎(chǔ)上給出了一組算法，可以自動(dòng)生成流程中有效的定義-使用對(duì)以及一系列數(shù)

4、據(jù)流覆蓋策略對(duì)應(yīng)的測(cè)試路徑，并對(duì)程序進(jìn)行靜態(tài)數(shù)據(jù)流分析，自動(dòng)檢測(cè)程序中可能引起錯(cuò)誤的數(shù)據(jù)流異常。(3)開(kāi)發(fā)了基于數(shù)據(jù)流的Web服務(wù)組合自動(dòng)測(cè)試工具DFTT4WSC，可自動(dòng)完成BPEL文檔的解析并提供流程的圖形化顯示，對(duì)服務(wù)組合中～u、d～、dd等數(shù)據(jù)流異常進(jìn)行檢測(cè)和定位，根據(jù)all-defs、all-uses、all-p-uses、all-c-uses、all-du-paths等各種數(shù)據(jù)流覆蓋策略選取測(cè)試路徑并提供完整的變量約束信息以及