Evaluating the effectiveness of the abstract transaction model in testing Web services transactions

Web services transactions are used to build efficient and reliable Web applications that are distributed across the Internet and are accessed by multiple simultaneous users. Current research develops various models and protocols to improve the performance and reliability of Web services transactions. However, there is little research on testing the different models and protocols of Web services transactions. This paper presents an abstract transaction model that patterns different Web services transactions standards. This model is capable of deriving concrete models to automatically generate test cases for different Web services transactions standards. The proposed model is implemented as a prototype system and is evaluated using a case of the Jboss Transaction. The evaluation shows that the proposed system has the capability to automatically generate test cases and detect possible failures of transactions running under different Web services transactions standards. Copyright © 2012 John Wiley & Sons, Ltd.

[1]  Ana R. Cavalli,et al.  WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition , 2010, 2010 IEEE International Conference on Web Services.

[2]  Panos K. Chrysanthis,et al.  Synthesis of extended transaction models using ACTA , 1994, TODS.

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

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

[5]  Walid Gaaloul,et al.  Verifying Composite Service Transactional Behavior Using Event Calculus , 2007, OTM Conferences.

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

[7]  Claude Godart,et al.  Dependency-based criteria for testing web services transactional workflows , 2011, 2011 7th International Conference on Next Generation Web Services Practices.

[8]  Jing Li,et al.  Specifying and Verifying Web Transactions , 2008, FORTE.

[9]  Bharat K. Bhargava,et al.  Ensuring relaxed atomicity for flexible transactions in multidatabase systems , 1994, SIGMOD '94.

[10]  Calton Pu,et al.  Split-Transactions for Open-Ended Activities , 1988, VLDB.

[11]  Nektarios Gioldasis,et al.  UTML: Unified Transaction Modeling Language , 2002, Proceedings of the Third International Conference on Web Information Systems Engineering, 2002. WISE 2002..

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

[13]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[14]  Kuo-Ming Chao,et al.  QoS‐aware mobile service transactions in a wireless environment , 2007, Concurr. Comput. Pract. Exp..

[15]  Werner Winiwarter,et al.  Using Advanced Transaction Meta-Models for Creating Transaction-Aware Web Service Environments , 2005, Int. J. Web Inf. Syst..

[16]  Hans-Jörg Schek,et al.  Concepts and Applications of Multilevel Transactions and Open Nested Transactions , 1992, Database Transaction Models for Advanced Applications.

[17]  Javier Tuya,et al.  Testing Long-Lived Web Services Transactions Using a Risk-Based Approach , 2010, 2010 10th International Conference on Quality Software.

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

[19]  Shaoying Liu,et al.  Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..

[20]  Javier Tuya,et al.  Testing the reliability of web services transactions in cooperative applications , 2012, SAC '12.

[21]  Claude Godart,et al.  Transactional patterns for reliable web services compositions , 2006, ICWE '06.

[22]  Javier Tuya,et al.  An Abstract Transaction Model for Testing the Web Services Transactions , 2011, 2011 IEEE International Conference on Web Services.