Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bai, X., Chen, Y., Shao, Z.: Adaptive web services testing. In: 31st Annual Int’l Comp. Software and Applications Conf. (COMPSAC), pp. 233–236 (2007)
Benbernou, S.: State of the art report, gap analysis of knowledge on principles, techniques and methodologies for monitoring and adaptation of SBAs. Deliverable PO-JRA-1.2.1, S-Cube Consortium (July 2008), http://www.s-cube-network.eu/results/
Chan, W., Cheung, S., Leung, K.: A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research 4(2), 61–81 (2007)
Chow, T.S.: Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering 4, 178–187 (1978)
Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng. 30(12), 859–872 (2004)
Deussen, P., Din, G., Schieferdecker, I.: A TTCN-3 based online test and validation platform for Internet services. In: Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS), pp. 177–184 (2003)
Di Penta, M., Bruno, M., Esposito, G.: et al.: Web Services Regression Testing. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 205–234. Springer, Heidelberg (2007)
Dranidis, D.: JSXM: A suite of tools for model-based automated test generation: User manual. Tech. Rep. WPCS01-2009, CITY College (2009)
Dranidis, D., Kourtesis, D., Ramollari, E.: Formal verification of web service behavioural conformance through testing. Annals of Mathematics, Computing & Teleinformatics 1(5), 36–43 (2007)
Dranidis, D., Ramollari, E., Kourtesis, D.: Run-time verification of behavioural conformance for conversational web services. In: Seventh IEEE European Conference on Web Services, pp. 139–147. IEEE, Los Alamitos (2009)
Dranidis, D., Metzger, A., Kourtesis, D.: Enabling proactive adaptation through just-in-time testing of conversational services (supplementary material). Tech. rep., S-Cube (2010), http://www.s-cube-network.eu/results/techreport/sw2010
Hallé, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.: Runtime verification of web service interface contracts. IEEE Computer 43(3), 59–66 (2010)
Hielscher, J., Kazhamiakin, R., Metzger, A., Pistore, M.: A framework for proactive self-adaptation of service-based applications based on online testing. In: Mähönen, P., Pohl, K., Priol, T. (eds.) ServiceWave 2008. LNCS, vol. 5377, pp. 122–133. Springer, Heidelberg (2008)
Holcombe, M., Ipate, F.: Correct Systems: Building Business Process Solutions. Springer, Berlin (1998)
Ipate, F.: Theory of X-machines with Applications in Specification and Testing. Ph.D. thesis, University of Sheffield (1995)
Ipate, F., Holcombe, M.: An integration testing method that is proven to find all faults. International Journal of Computer Mathematics 63, 159–178 (1997)
Laycock, G.: The Theory and Practice of Specification Based Testing. Ph.D. thesis, University of Sheffield (1992)
Leitner, P., Michlmayr, A., Rosenberg, F., Dustdar, S.: Monitoring, prediction and prevention of SLA violations in composite services. In: IEEE International Conference on Web Services (ICWS) Industry and Applications Track (2010)
Metzger, A., Sammodi, O., Pohl, K., Rzepka, M.: Towards pro-active adaptation with confidence augmenting service monitoring with online testing. In: Proceedings of the ICSE 2010 Workshop on Software Engineering for Adaptive and Self-managing Systems (SEAMS 2010), Cape Town, South Africa, May 2-8 (2010)
Pernici, B., Metzger, A.: Survey of quality related aspects relevant for service-based applications. Deliverable PO-JRA-1.3.1, S-Cube Consortium (July 2008), http://www.s-cube-network.eu/results/
Ramollari, E., Kourtesis, D., Dranidis, D., Simons, A.J.H.: Leveraging semantic web service descriptions for validation by automated functional testing. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 593–607. Springer, Heidelberg (2009)
Tselentis, G., Domingue, J., Galis, A., Gavras, A., Hausheer, D.: Towards the Future Internet: A European Research Perspective. IOS Press, Amsterdam (2009)
Wang, Q., Quan, L., Ying, F.: Online testing of Web-based applications. In: Proceedings of the 28th Annual Int’l Comp. Software and Applications Conference (COMPSAC), pp. 166–169 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dranidis, D., Metzger, A., Kourtesis, D. (2010). Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services. In: Di Nitto, E., Yahyapour, R. (eds) Towards a Service-Based Internet. ServiceWave 2010. Lecture Notes in Computer Science, vol 6481. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17694-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-17694-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17693-7
Online ISBN: 978-3-642-17694-4
eBook Packages: Computer ScienceComputer Science (R0)