How validation can help in testing business processes orchestrating web services

Validation and testing are important in developing correct and fault free SOA-basedsystems. BPEL is a high level language that makes it possible to implement business processes asan orchestration of web services. In general, the testing requires much more test scenarios than thevalidation. However, in the case of BPEL processes, which have very simple and well structuredimplementation, test scenarios limited to the validation may also be efficient. The paper describes anexperiment that aims at answering a question whether or not the validation test scenarios are alsoadequate for testing an implementation of BPEL processes. The experiment employs a Software FaultInjector for BPEL Processes that is able to inject faults when the test scenarios are running. Theresults of the experiment seem very promising. Hence, it seems that validation tests might give astrong support for testing.

[1]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[2]  Ana R. Cavalli,et al.  A Fault Injection Tool for Testing Web Services Composition , 2010, TAIC PART.

[3]  Andrea Polini,et al.  A QoS Test-Bed Generator for Web Services , 2007, ICWE.

[4]  Gary McGraw,et al.  Software fault injection: inoculating programs against errors , 1997 .

[5]  Manuel Palomo-Duarte,et al.  Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions , 2008, 2008 Sixth European Conference on Web Services.

[6]  Jun Zhu,et al.  Business-process-driven gray-box SOA testing , 2008, IBM Syst. J..

[7]  Krzysztof Sapiecha,et al.  Automating Test Case Generation for Requirements Specification for Processes Orchestrating Web Services , 2008, ICEIS.

[8]  Chien-Hung Liu,et al.  A WS-BPEL Based Structural Testing Approach for Web Service Compositions , 2008, 2008 IEEE International Symposium on Service-Oriented System Engineering.

[9]  Luciano Baresi,et al.  A Fault Taxonomy for Web Service Composition , 2009, ICSOC Workshops.

[10]  Constance L. Heitmeyer,et al.  The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[11]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .

[12]  Wei Sun,et al.  BPEL-Unit: JUnit for BPEL Processes , 2006, ICSOC.

[13]  Schahram Dustdar,et al.  GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[14]  Frank Leymann,et al.  Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More , 2005 .

[15]  Manuel Palomo-Duarte,et al.  Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition , 2008, 2008 IEEE International Symposium on Service-Oriented System Engineering.

[16]  Wei Sun,et al.  A Graph-Search Based Approach to BPEL4WS Test Generation , 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).

[17]  Wei Sun,et al.  BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach , 2006, 2006 17th International Symposium on Software Reliability Engineering.