| With the development of Web service composition,Web service composition is becoming increasingly complex,the quality of Web services has also become the focus of attention. Web service test,especially Web service composition test has become an important part of protecting the quality of Web service composition.BPEL is a Business Process Execution Language that describe the Web service composition,a BPEL document describes the Web service’s execution order,and the interaction between Web services also be described in the BPEL document.So Web service composition test can based on BPEL document.Currently,the test of Web service composition based on BPEL was convert the BPEL document to a control flow graph,carried on the test based on the graph.In a BPEL document,structured activites was to describe the control flow between Web services, the interaction of the variables described the data flow between services, control flow graph could only describe the control flow, couldn’t describe the data flow information,so some of the test sequences were not executable,in addition,control flow graph couldn’t describe the asynchronous and concurrent behaviors easily.As the petri nets was suitable for describing asynchronous and concurrent behavior,so used petri nets to express Web service composition based on BPEL.However,the general petri nets could only describe the control flow information,in order to describe the Web service’s control flow and data flow information at the same time,used Extended Colored Petri Nets(use ECPN for short) to modeling the BPEL document,colored petri nets could describe different types of data,ECPN model could describe a business process’control flow and data flow at the same time.Web service composition test only considered one aspect of data flow or control flow,led to the problem of the generated test sequence coundn’t been executed.In this paper, proposed a test method that combined the control flow and the data flow based on ECPN for Web service composition’s interactive behaviors’test.The method mainly discussed and studied are as follows:1、Used the extended colored petri net model the Web service composition based on BPEL.Used the extended colored petri net as an intermediate model to describe the BPEL’s basic activities and structured activites. The ECPN model could describe the control flow and data flow at the same time.2、Used the ECPN as the model for data flow analysis to generate test sequences.According to the ECPN model,combined with data flow analysis,got test sequences based on data flow analysis.3、Used control flow to analyze the ECPN concurrent structure to generate concurrent structure’s test sequences.In order to test the concurrent structure,used the control flow analysis for the concurrent structure, generated the concurrent structure’s test sequences.4、By experiment to illustrate the process of generating of the ECPN model,and the process generating test sequences from the data flow and control flow. |
PDF Full Text Request