The PLASTIC Framework and Tools for Testing Service-Oriented Applications

The emergence of the Service Oriented Architecture (SOA) is changing the way in which software applications are developed. A service-oriented application consists of the dynamic composition of autonomous services independently developed by different organizations and deployed on heterogenous networks. Therefore, validation of SOA poses several new challenges, without offering any discount for the more traditional testing problems. In this chapter we overview the PLASTIC validation framework in which different techniques can be combined for the verification of both functional and extra-functional properties, spanning over both off-line and on-line testing stages. The former stage concerns development time testing, at which services are exercised in a simulated environment. The latter foresees the monitoring of a service live usage, to dynamically reveal possible deviations from the expected behaviour. Some techniques and tools which fit within the outlined framework are presented.

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

[2]  Jan Tretmans,et al.  Test Generation Based on Symbolic Specifications , 2004, FATES.

[3]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[4]  Jan Tretmans,et al.  Model-Based Testing of Environmental Conformance of Components , 2006, FMCO.

[5]  A. Bertolino,et al.  A Brief Essay on Software Testing , 2004 .

[6]  Francesca Lonetti,et al.  Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications , 2008, 2008 34th Euromicro Conference Software Engineering and Advanced Applications.

[7]  Jan Tretmans,et al.  TorX: Automated Model-Based Testing , 2003 .

[8]  R. Irani,et al.  Axis: The Next Generation of Java Soap , 2002 .

[9]  Nikolai Tillmann,et al.  Pex-White Box Test Generation for .NET , 2008, TAP.

[10]  Andrea Polini,et al.  Model-Based Generation of Testbeds for Web Services , 2008, TestCom/FATES.

[11]  Arend Rensink,et al.  Compositional Testing with ioco , 2003, FATES.

[12]  Jan Tretmans,et al.  A Symbolic Framework for Model-Based Testing , 2006, FATES/RV.

[13]  Kishor S. Trivedi,et al.  Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.

[14]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[15]  Robert Richards,et al.  Universal Description, Discovery, and Integration (UDDI) , 2006 .

[16]  Koushik Sen,et al.  CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools , 2006, CAV.

[17]  Boudewijn R. Haverkort,et al.  Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package , 1998 .

[18]  Wolfgang Emmerich,et al.  Precise service level agreements , 2004, Proceedings. 26th International Conference on Software Engineering.

[19]  Paola Inverardi,et al.  The Future of Software: Adaptation and Dependability , 2008, ISSSE.

[20]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[21]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[22]  Wolfgang Emmerich,et al.  The monitorability of service-level agreements for application-service provision , 2007, WOSP '07.

[23]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[24]  Munindar P. Singh,et al.  Service-Oriented Computing: Key Concepts and Principles , 2005, IEEE Internet Comput..