Testing Long-Lived Web Services Transactions Using a Risk-Based Approach

Transactions are crucial to ensuring the quality (such as recovery and reliability) of web services applications by constraining them to a mutually agreed outcome. This paper addresses the issue of testing the long-lived web services transactions which has been given little attention by the current research. It proposes a risk-based approach and also defines a set of properties for web services transactions. The proposed approach identifies for each property a set of potential situations that must be tested. We present an analysis for the Recovery property using a Fault Tree diagram where the leaf nodes represent potentially dangerous scenarios that must be checked. Finally we show with a case study how this Fault Tree can be used to derive test cases for web services transactions.

[1]  Peter Dolog,et al.  An environment for flexible advanced compensations of Web service transactions , 2008, TWEB.

[2]  Rupak Majumdar,et al.  Verifying Compensating Transactions , 2007, VMCAI.

[3]  George A. Bohoris,et al.  Risk analysis techniques and their application to software development , 1996 .

[4]  Barry Eaglestone,et al.  A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions , 2000, DEXA.

[5]  Takashi Kobayashi,et al.  FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis , 2007, The VLDB Journal.

[6]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[7]  Sylvanus A. Ehikioya,et al.  A formal specification strategy for electronic commerce , 1997, Proceedings of the 1997 International Database Engineering and Applications Symposium (Cat. No.97TB100166).

[8]  Paolo Milazzo,et al.  Design and verification of long-running transactions in a timed framework , 2008, Sci. Comput. Program..

[9]  Barry Eaglestone,et al.  A Review of Multidatabase Transactions on The Web: From the ACID to the SACReD , 2000, BNCOD.

[10]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[11]  Gerardo Canfora,et al.  Service-Oriented Architectures Testing: A Survey , 2009, ISSSE.

[12]  Manuel Mazzara,et al.  A Formal Framework for Web Services Coordination , 2007, Electron. Notes Theor. Comput. Sci..

[13]  Su Myeon Kim,et al.  A framework for ensuring consistency of Web Services Transactions , 2008, Inf. Softw. Technol..

[14]  Rubén Casado Tejedor,et al.  Testing Transactions in Service Oriented Architectures , 2009 .

[15]  Yinsheng Li,et al.  An Efficient Transaction Commit Protocol for Composite Web Services , 2006, 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06).

[16]  Butler W. Lampson,et al.  Atomic Transactions , 1980, Advanced Course: Distributed Systems.