Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services

Service-based applications (SBAs) will increasingly be composed of third-party services available over the Internet. Reacting to failures of those third-party services by dynamically adapting the SBAs will become a key enabler for ensuring reliability. Determining when to adapt an SBA is especially challenging in the presence of conversational (aka. stateful) services. A conversational service might fail in the middle of an invocation sequence, in which case adapting the SBA might be costly; e.g., due to the necessary state transfer to an alternative service. In this paper we propose just-in-time testing of conversational services as a novel approach to detect potential problems and to proactively trigger adaptations, thereby preventing costly compensation activities. The approach is based on a framework for online testing and a formal test-generation method which guarantees functional correctness for conversational services. The applicability of the approach is discussed with respect to its underlying assumptions and its performance. The benefits of the approach are demonstrated using a realistic example.

[1]  Luciano Baresi,et al.  Test and Analysis of Web Services , 2007, Test and Analysis of Web Services.

[2]  Dimitris Dranidis,et al.  Formal Verification of Web Service Behavioural Conformance through Testing , 2007 .

[3]  Ina Schieferdecker,et al.  A TTCN-3 based online test and validation platform for Internet services , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..

[4]  Klaus Pohl,et al.  Towards pro-active adaptation with confidence: augmenting service monitoring with online testing , 2010, SEAMS '10.

[5]  Schahram Dustdar,et al.  Monitoring, Prediction and Prevention of SLA Violations in Composite Services , 2010, 2010 IEEE International Conference on Web Services.

[6]  Florentin Ipate Theory of X-machines with applications in specification and testing , 1995 .

[7]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[8]  W. Chan,et al.  A Metamorphic Testing Approach for Online Testing of Service-Oriented Software Applications , 2007, Int. J. Web Serv. Res..

[9]  Correct Systems -building Business Process Solutions Chapter 3 , .

[10]  Ann Q. Gates,et al.  A taxonomy and catalog of runtime software-fault monitoring tools , 2004, IEEE Transactions on Software Engineering.

[11]  Gilbert Thomas Laycock,et al.  The theory and practice of specification based software testing , 1993 .

[12]  Gerardo Canfora,et al.  Web Services Regression Testing , 2007, Test and Analysis of Web Services.

[13]  Qianxiang Wang,et al.  Online testing of Web-based applications , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[14]  Florentin Ipate,et al.  An integration testing method that is proved to find all faults , 1997, Int. J. Comput. Math..

[15]  Dimitris Dranidis,et al.  Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing , 2009, ESWC.

[16]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[17]  Dimitris Dranidis,et al.  Run-time Verification of Behavioural Conformance for Conversational Web Services , 2009, 2009 Seventh IEEE European Conference on Web Services.

[18]  Raman Kazhamiakin,et al.  A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing , 2008, ServiceWave.

[19]  David Hausheer,et al.  Towards the Future Internet - A European Research Perspective , 2009, Future Internet Assembly.

[20]  Tevfik Bultan,et al.  Runtime Verification of Web Service Interface Contracts , 2010, Computer.

[21]  Petter Svärd,et al.  Self-management Challenges for Multi-cloud Architectures (Invited Paper) , 2011 .

[22]  Yinong Chen,et al.  Adaptive Web Services Testing , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).