The Design And Implementation Of BPEL Defect Testing System

Business Process Execution Language (BPEL) is a Web Services (WS) composition language. As the BPEL process becoming more and more complex, it is more important to ensure the availability and reliability of the process through testing technologies. The defect-pattern-oriented static test is a popular way to control the quality of software in traditional development phase. This test is also effective in BPEL.This paper proposes a defect-pattern-oriented BPEL Defect Testing System (BPELDTS). It can test the BPEL process automatically through parsing BPEL and Web Services Description Language (WSDL) source files to generate various auxiliary data structures and combining finite automata theory. The core of BPELDTS includes BPEL analysis sub-module, WSDL analysis sub-module, defect pattern state machine description file analysis sub-module and defect pattern analysis sub-module.BPEL analysis sub-module is used to validate the lexical and syntax of BPEL files and generate several auxiliary data structures including Eclipse Modeling Framework (EMF) Activity Object Tree, Symbol Table, Control Flow Graph and Define-Use Chain. This module can also be used alone as a BPEL interpreter. WSDL analysis sub-module is adopted to validate the lexical and syntax of WSDL files and produce WSDL model via binding JXPath. BPELDTS could easy access to abstract syntax information of WSDL through WSDL model. Defect pattern state machine description file analysis sub-module is used to validate the description files and generate state machine templates. Defect pattern analysis sub-module is adopted to create and run state machine instances and look for hidden defects.Besides, static analysis requirements in BPEL specification are classified and redefined in this paper. And seven custom patterns are defined and their detailed descriptions are also given.Finally, this research implements the BPELDTS prototype system and verifies its feasible by doing experiments.