- 學位論文
WS-BPEL流程間之資料流分析與測試
WS-BPEL Inter-process Data Flow Analysis and Testing
摘要
近年來許多商業應用程式的開發均採用以網際服務商業流程執行語言(Web Service Business Process Execution Language, WS-BPEL)來組合可再利用的網際服務或既有的流程，以快速開發新的商業流程來滿足企業的需求。然而WS-BPEL是一種類似XML的程式語言，具有許多複雜的控制結構，並且允許平行活動與支援同步與非同步的訊息交換，使得WS-BPEL流程不易理解與測試。為確保流程之間資料互動的行為正確，並提供WS-BPEL流程足夠的測試覆蓋率，本論文提出一個WS-BPEL流程間的資料流分析與測試方法。此方法主要分析WS-BPEL流程的訊息交換活動，並探討同步與非同步訊息交換可能產生的資料互動行為，且考慮多個流程實體(process instances)，以及平行活動與事件對資料流的影響。此外，本論文並提出一個測試模型來描繪這些資料流資訊(dataflow artifacts)，此模型不但可以幫助測試人員瞭解個別WS-BPEL流程與流程之間資料的互動關係，並可用來推導測試路徑以驗證WS-BPEL流程其資料流行為的正確性。本論文並開發一個測試輔助工具，可以自動化萃取WS-BPEL流程的資料流資訊，建構所提出的測試模型，產生測試路徑以及計算測試覆蓋率，有助於提升WS-BPEL流程測試的效率。
並列摘要
Recently, there has been tremendous growth in business application development that exploits Web Service Process Execution Language (WS-BPEL) to compose reusable Web services and existing processes in order to rapidly develop a new business process for satisfying customer needs. However, WS-BPEL is an XML-like programming language with various complex programming constructs. Particularly, it enables process activities to be executed concurrently and supports message exchanges between processes synchronously and asynchronously. This can make WS-BPEL process difficult to understand and test. To ensure that the data interactions among different composited processes are correct and to provide adequate test coverage for WS-BPEL process, this thesis proposes a WS-BPEL inter-process data flow analysis and testing approach. Specificially, the proposed method analyzes the message activities of WS-BPEL and explores possible data interactions caused by synchronous and asynchronous message exchanges while taking into account the data flow introduced by multiple process instances, concurrent activities, and event handlers. In addition, a test model is presented to depict these data flow artifacts. The test model not only can help testers to understand the data interactions of WS-BPEL process, but also can be used to generate test paths for verifying the data flow behavior. Moreover, a testing tool is also developed to automate the capture of data flow artifacts, the construction of the proposed test model, the generation of test paths, and the computation of test coverage so as to improve the test effectency of WS-BPEL process.