- 學位論文
一個基於WS-BPEL網際服務組合的結構化測試方法及工具
A Structural Testing Approach and Tool for Web Service Compositions Based on the WS-BPEL
摘要
網際服務商業流程執行語言(WS-BPEL)是目前廣泛被企業界應用在商業流程管理系統(BPMS)上的程式化標籤語言，可用來將一群耦合鬆散的獨立服務以網際服務(Web Service)的方式串聯成新的商業服務以滿足企業在商業流程管理上異質系統整合的需求。如同傳統的軟體一般，WS-BPEL流程定義亦需進行嚴謹的測試，以確保網際服務的組合能滿足商業流程的需求。然而WS-BPEL流程定義文件不易瞭解，且許多流程的商業邏輯相當複雜，並可能包含了平行與同步行為以及各種錯誤補償機制，這使得WS-BPEL流程的測試工作成為一項艱鉅的挑戰。雖然目前WS-BPEL的流程設計工具已提供簡易地功能性測試來驗證WS-BPEL流程的正確性，然而功能性測試並無法確保流程的邏輯結構是否正確。因此，本論文提出一個基於WS-BPEL規範的結構化測試(structural testing)方法。此方法從WS-BPEL的流程定義中抽象萃取出對測試有用的流程控制邏輯和語意分別依據流程面向以及結構面向建立測試模型，以圖形化的方式呈現WS-BPEL流程內容，協助使用者瞭解流程架構、控制邏輯，進而有系統化地從模型中推導測試案例(Test Cases)，驗證流程的內部邏輯結構，確保流程品質。本論文並實作一個WS-BPEL的結構化測試工具，建立WS-BPEL測試模型，協助使用者推導與執行測試案例，驗證WS-BPEL流程的邏輯結構是否正確。
並列摘要
Web service business process execution language (WS-BPEL) is a most popular programming language which can be used to describe the logic to control and orchestrate multiple Web services participating in a business process. It allows a company to quickly create or adapt new business processes by coordinating different Web services. As other traditional software, the WS-BPEL process needs a lot of testing to ensure its correctness. However, the WS-BPEL processes are complex and difficult to understand. This makes testing Web service compositions a challenging task. Nevertheless, many existing tools for testing WS-BPEL processes are solely based on the functional testing which may not be adequate to ensure the structural correctness. In this thesis, we propose a structural testing approach for Web Service Compositions based on the WS-BPEL. In our approach, we construct two test models based on the defferent aspect of the WS-BPEL process. Using the graphical concept to represent the WS-BPEL process structure and the execution logic based on the aspect of the architecture and the flow respectively which can help user to easily understand the process architecture and the control flow, and then user can edit test case to ensure the correctness of the WS-BPEL process. We also develop a WS-BPEL structural testing tool (WSTT) base on our approach. This tool can construct a WS-BPEL control flow graph and edit test cases for testing the structure of the WS-BPEL process.