Summary: | 碩士 === 國立臺北科技大學 === 資訊工程系研究所 === 99 === Web Service Business Process Execution Language (WS-BPEL) is a widely accepted industry standard as a process specification language. It can be used to compose loosely-coupled web services into a business process in order to provide a high level service to achieve a business goal. Due to the rapidly changes of business environment and frequently changes of customer requirements, business processes or web services need to be modified in order to satisfy new business requirements. To ensure that the modifications will not cause process errors and interrupt business process, which results in serious financial losses, it is crucial to perform regression testing for WS-BPEL process. In view of this situation, this thesis proposes a method for analyzing the change impacts of WS-BPEL process. The method basically constructs and compares the BPEL control flow graphs (BCFG) of both modified and original WS-BPEL processes. Based on the difference analysis of the BCFGs, the change impacts caused by the modifications can be identified. With this information, testers can focus on those portions of WS-BPEL process affected by the modifications and select only the test paths of BCFG that need to be tested in order to reduce the test cost of regression testing.
|