Model-driven test cases generation for multi-level service composition

To ensure the delivery of high quality and robust service-oriented applications, testing of web services composition has received much attention. These services have become more and more complex, where they have to cope with strict requirements of business processes and their dynamic evolution, and interactions among different companies. In this context, the analysis and testing of such services demands a large amount of effort. To reduce the effort required for web-services testing, in this paper, we propose a model-based approach to automatically generate test cases for web services composition that is modeled at different levels of abstraction. This approach checks if the first level of the model has a parallel execution or a decision table to be solved by an algorithm that solves Chinese postman problem. Then, it identifies paths for last level of the model and relates the results of all levels with each other. To evaluate our approach, we applied it to four cases study using our developed tool. Compared to exiting approaches, our approach reduces testing cost and execution time, and increases testing reliability.

[1]  Marc-Thomas Schmidt,et al.  The Enterprise Service Bus: Making service-oriented architecture real , 2005, IBM Syst. J..

[2]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[3]  Fevzi Belli,et al.  Event‐based modelling, analysis and testing of user interactions: approach and case study , 2006, Softw. Test. Verification Reliab..

[4]  Jan Tretmans,et al.  Towards Model-Based Testing of Web Services , 2006 .

[6]  Fevzi Belli,et al.  Minimal Spanning Set for Coverage Testing of Interactive Systems , 2004, ICTAC.

[7]  Fevzi Belli,et al.  A holistic approach to model‐based testing of Web service compositions , 2014, Softw. Pract. Exp..

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

[9]  Fevzi Belli,et al.  Towards optimization of the coverage testing of interactive systems , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[10]  Fevzi Belli,et al.  Model-based testing of web service compositions , 2011, Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE).

[11]  Mohamed Adel Serhani,et al.  Towards the Testing of Composed Web Services in 3rd Generation Networks , 2006, TestCom.

[12]  Yaxiong Lin,et al.  A new algorithm for the directed chinese postman problem , 1988, Comput. Oper. Res..

[13]  T. H. Tse,et al.  Data flow testing of service choreography , 2009, ESEC/FSE '09.

[14]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .

[15]  Fevzi Belli,et al.  Event-driven modeling and testing of real-time web services , 2010, Service Oriented Computing and Applications.

[16]  Luciano Baresi,et al.  An Introduction to Software Testing , 2006, FoVMT.

[17]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[18]  Dessislava Petrova-Antonova,et al.  Automation of Test Case Generation and Execution for Testing Web Service Orchestrations , 2013, 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering.

[19]  Hong Zhu,et al.  Software unit test coverage and adequacy , 1997, ACM Comput. Surv..

[20]  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.