Multi-dimensional criteria for testing web services transactions

Journal of Computer and System Sciences

Volumn 79, Issue 7, 2013, Pages 1057-1076

  Casado, Rubén ^a   Younas, Muhammad ^b   Tuya, Javier ^a  

^a UNIVERSITY OF OVIEDO   (Spain)

^b OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

Classification tree; Mutation; Software testing; Test case generation; Transactions; Web services

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS; PETROLEUM RESERVOIR EVALUATION; QUALITY CONTROL; SOFTWARE TESTING; WEBSITES; WELL TESTING;

CLASSIFICATION TREES; COMPOSITE WEB SERVICES; MULTI DIMENSIONAL; MUTATION; QUALITY ASSESSMENT; TEST CASE GENERATION; TIME EFFICIENCIES; TRANSACTIONS;

WEB SERVICES;

EID: 84878502085     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2013.01.020     Document Type: Conference Paper

References (56)

1. S. Weerawarana, F. Curbera, F. Leymann, T. Storey, and D.F. Ferguson Web Services Platform Architecture: Soap, Wsdl, Ws-Policy, Ws-Addressing, Ws-Bpel, Ws-Reliable Messaging and More 2005 Prentice Hall PTR
2. Z. Liangzhao, B. Benatallah, A.H.H. Ngu, M. Dumas, J. Kalagnanam, and H. Chang QoS-aware middleware for web services composition IEEE Trans. Softw. Eng. 30 2004 311 327
3. OASIS, Business transaction protocol, 2004.
4. OASIS, Web services business activity, 2009.
5. OASIS, Web services composite application framework, 2006.
6. R. Casado, J. Tuya, M. Younas, Evaluating the effectiveness of the abstract transaction model in testing web services transactions, Concurr. Comput. Pract. Exp. (2012), in press, http://dx.doi.org/10.1002/cpe.2851.
7. G. Canfora, and M. Penta Service-Oriented Architectures Testing: A Survey 2009 Springer-Verlag 78 105
8. M. Bozkurt, M. Harman, Y. Hassoun, Testing web services: A survey, Technical report, Department of Computer Science, King's College, London, 2010.
9. S. Bhiri, W. Gaaloul, C. Godart, O. Perrin, M. Zaremba, and W. Derguech Ensuring customised transactional reliability of composite services J. Database Manag. 22 2011 29
10. R. Casado, J. Tuya, and M. Younas A family of test criteria for web services transactions Proc. Comput. Sci. 10 2012 880 887
11. L. Bocchi, C. Laneve, and G. Zavattaro A calculus for long-running transactions Formal Methods for Open Object-Based Distributed Systems Lecture Notes in Comput. Sci. vol. 2884 2003 124 138
12. R. Casado, J. Tuya, and M. Younas Testing long-lived web services transactions using a risk-based approach 10th International Conference on Quality Software 2010 IEEE Computer Society 337 340 1849260
13. J. Jiang, G. Yang, Y. Wu, M. Shi, Covatm: a transaction model for cooperative applications, 2002.
14. A.-B. Arntsen, M. Mortensen, R. Karlsen, A. Andersen, A. Munch-Ellingsen, Flexible transaction processing in the Argos middleware, 2008.
15. R.T. Khachana, A. James, and R. Iqbal Relaxation of acid properties in autra, the adaptive user-defined transaction relaxing approach Future Gener. Comput. Syst. 27 2011 58 66
16. D. Yuetang, P. Frankl, C. Zhongqiang, Testing database transaction concurrency, in: Proceedings 18th IEEE International Conference on Automated Software Engineering, 2003, pp. 184-193.
17. Y. Deng, P. Frankl, D. Chays, Testing database transactions with agenda, 2005.
18. V. Guarnieri, N. Bombieri, G. Pravadelli, F. Fummi, H. Hantson, J. Raik, M. Jenihhin, R. Ubar, Mutation analysis for SystemC designs at TLM, in: 12th Latin American Test Workshop (LATW), 2011, pp. 1-6.
19. C. Chin-Yao, H. Chih-Yuan, L. Kuen-Jong, A.P. Su, Transaction level modeling and design space exploration for SOC test architectures, in: Asian Test Symposium, ATS'09, 2009, pp. 200-205.
20. X.-D. Wu, Z.-W. Sun, Z.-J. Xing, A data-centered transaction scheduling strategy of realtime database in micro-satellite ground test system, in: International Conference on Mechatronics and Automation, ICMA 2009, 2009, pp. 2952-2956.
21. M. Younas, and K.-M. Chao A tentative commit protocol for composite web services J. Comput. System Sci. 72 2006 1226 1237
22. R.M. Czekster, P. Fernandes, A. Sales, T. Webber, and A.F. Zorzo Stochastic model for QoS assessment in multi-tier web services Electron. Notes Theor. Comput. Sci. 275 2011 53 72
23. R. Lanotte, A. Maggiolo-Schettini, P. Milazzo, and A. Troina Design and verification of long-running transactions in a timed framework Sci. Comput. Programming 73 2008 76 94
24. M. Emmi, R. Majumdar, Verifying compensating transactions, in: International Conference Verification, Model Checking, and Abstract Interpretation, pp. 29-43.
25. N. Kokash, F. Arbab, Formal design and verification of long-running transactions with extensible coordination tools, IEEE Trans. Serv. Comput. (2011), http://dx.doi.org/10.1109/TSC.2011.46.
26. W. Gaaloul, M. Rouached, C. Godart, M. Hauswirth, Verifying composite service transactional behavior using event calculus, 2007.
27. J. Li, H. Zhu, J. He, Specifying and verifying web transactions, in: International Conference on Formal Techniques for Networked and Distributed Systems, pp. 149-168.
28. A.K. Elmagarmid Database Transaction Models for Advanced Applications 1992 Morgan Kaufmann Publishers
29. N. Ben Lakhal, T. Kobayashi, and H. Yokota Fenecia: failure endurable nested-transaction based execution of composite web services with incorporated state analysis VLDB J. 18 2008 1 56
30. H. Garcia-Molina, K. Salem, Sagas, 1987.
31. G. Weikum, and H.-J. Schek Concepts and Applications of Multilevel Transactions and Open Nested Transactions 1992 Morgan Kaufmann Publishers 515 553
32. C. Pu, G.E. Kaiser, N.C. Hutchinson, Split-transactions for open-ended activities, 1988.
33. Reuter, Contracts: A means for extending control beyond transaction boundaries, in: Proceedings of the 3rd International Workshop on High Performance Transaction Systems, 1989.
34. A. Zhang, M. Nodine, B. Bhargava, O. Bukhres, Ensuring relaxed atomicity for flexible transactions in multidatabase systems, ACM SIGMOD Record, 1994.
35. M. Younas, B. Eaglestone, and R. Holton A formal treatment of a sacred protocol for multidatabase web transactions Database Expert Syst. Appl. 1873 2000 899 908
36. OASIS, Web services atomic transaction, 2009.
37. OASIS Web services coordination http://docs.oasis-open.org/ws-tx/wscoor/ 2006/06 2007
38. A.T. Endo, A. d. S. Simão, A systematic review on formal testing approaches for web services, in: A.M. Moreira, M. d'Amorim (Eds.), IV Brazilian Workshop on Systematic and Automated Software Testing, pp. 89-98.
39. B. Antonio, M. Hernán, S. Francesco, Testing service composition, 2008.
40. M. Palacios, J. Garcia-Fanjul, and J. Tuya Testing in service oriented architectures with dynamic binding: A mapping study Inf. Softw. Technol. 53 2011 171 189
41. C. Bartolini, A. Bertolino, S. Elbaum, and E. Marchetti Bringing white-box testing to service oriented architectures through a service oriented approach J. Syst. Softw. 84 2011 655 668
42. R. Casado, J. Tuya, and M. Younas A framework to test advanced web services transactions IEEE International Conference on Software Testing, Verification and Validation (ICST) 2011 IEEE Computer Society 443 446
43. R. Casado, J. Tuya, and C. Godart Dependency-based criteria for testing web services transactional workflows Next Generation on Web Services Practices 2012 IEEE Computer Society 74 79
44. R. Casado, J. Tuya, C. Godart, and M. Younas Test case design for transactional flows using a dependency-based approach Int. J. Comput. Inf. Syst. Ind. Manag. Appl. 5 2012 20 40
45. R. Casado, J. Tuya, M. Younas, Testing the reliability of web services transactions in cooperative applications, 2012.
46. M. Grochtmann, and K. Grimm Classification trees for partition testing Softw. Test. Verif. Reliab. 3 1993 63 82
47. T.Y. Chen, and P.L. Poon On the effectiveness of classification trees for test case construction Inf. Softw. Technol. 40 1998 765 775
48. H. Singh, M. Conrad, S. Sadeghipour, Test case design based on z and the classification-tree method, 1997.
49. M. Grindal, J. Offutt, and S.F. Andler Combination testing strategies: a survey Softw. Test. Verif. Reliab. 15 2005 167 199
50. C.-H. Liu, S.-L. Chen, X.-Y. Li, A WS-BPEL based structural testing approach for Web service compositions, 2008.
51. J. Yan, L. Zhongjie, Y. Yuan, S. Wei, Z. Jian, BPEL4WS unit testing: Test case generation using a concurrent path analysis approach, in: 17th International Symposium on Software Reliability Engineering, ISSRE'06, 2006, pp. 75-84.
52. D. Manova, S. Ilieva, F. Lonetti, A. Bertolino, C. Bartolini, Towards automated robustness testing of BPEL orchestrators, 2011.
53. T. Lertphumpanya, T. Senivongse, A basis path testing framework for WS-BPEL composite services, 2008.
54. J. Garcia-Fanjul, C. de la Riva, J. Tuya, Generation of conformance test suites for compositions of web services using model checking, in: TAIC PART 2006: Proceedings of the Testing: Academic and Industrial Conference - Practice and Research Techniques, 2006, pp. 127-130.
55. Y.-S. Ma, J. Offutt, and Y.R. Kwon MuJava: an automated class mutation system: Research articles Softw. Test. Verif. Reliab. 15 2005 97 133
56. J.H. Andrews, L.C. Briand, Y. Labiche, Is mutation an appropriate tool for testing experiments?, 2005.