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

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

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

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

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