Journal of Software, Vol 7, No 6 (2012), 1338-1350, Jun 2012
doi:10.4304/jsw.7.6.1338-1350

An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services

Tien-Dung Cao, Richard Castanet, Patrick Felix, Kevin Chiew

Abstract


Software testing plays an important role in verifying and assessing the quality of a software application. There are various testing approaches proposed for different application scenarios. In this paper, we propose a new passive testing approach to verifying a timed trace with respect to a set of constraints. With the extension of Nomad language, we are able to formally describe all constraints and combine conditions by logical operations AND and OR into expressions. By well organizing and evaluating the expressions, we are able to carry out runtime verification message by message in a timed trace. In addition to the theoretical framework, we have also developed a software tool known as RV4WS (Runtime Verification for Web Services) for the automation of our testing approach, and implemented all algorithms in the paper with this tool. We conduct a case study of web service composition to verify the effectiveness of our approach and tool.


Keywords


Runtime verification, Passive testing, Rule specification, Web services

References


 

[1] C. Andr’es, Mercedes G. Merayo, and M, N’unez, “Formal correctness of a passive testing approach for timed systems”, IEEE International Conference on Software Testing, Verification, and Validation Workshops, pp. 67–76, Apr 01–04, 2009, Denver, Colorado, USA.

[2] C. Andr’es, Mercedes G. Merayo, M. N’unez, “Passive Testing of Stochastic Timed Systems”, International Conference on Software Testing Verification and Validation, pp. 71–80, Apr 01-04, 2009, Denver, Colorado, USA.

[3] C. Andr’es, Mercedes G. Merayo, M. N’unez, “Passive Testing of Timed Systems”, International Symposium on Automated Technology for Verification and Analysis, pp. 418–427, vol. 5311, LNCS, 2008.
http://dx.doi.org/10.1007/978-3-540-88387-6_36

[4] L. Baresi, S. Guinea,M. Pistore, and M. Trainotti, “Dynamo + Astro: An integrated Approach for BPEL Monitoring”, 2009 IEEE International Conference on Web Service, pp. 230–237, July 6–10, 2009, Los Angeles, CA, USA.

[5] L. Baresi, S. Guinea, R. Kazhamiakin, and M. Pistore, “An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations”, The 1st European Conference on Towards a Service- Based Internet, pp. 1–12, 2008, Madrid, Spain.

[6] L. Baresi and S. Guinea, “Towards Dynamic Monitoring of WSBPEL Processes”, The Third International Conference on Service- Oriented Computing, pp. 269–282, Dec 12–15, 2005, Amsterdam, The Netherlands.

[7] A. Benharref, R. Dssouli, Mohamed A. Serhani, A. En-Nouaary, and R. Glitho, “New Approach for EFSM-Based Passive Testing of Web Services”, Testing of Software and Communicating Systems, pp. 13–27, vol. 4581, 2007.
http://dx.doi.org/10.1007/978-3-540-73066-8_2

[8] H. Barringer, A. Goldberg, K. Havelund, and K. Sen, “Rule- Based Runtime Verification”, 5th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 11– 13, 2004, Venice, Italy.

[9] E. Bayse, A. Cavalli, M. Nunez, and F. Zaidi, “A passive testing approach based on invariants: application to the WAP”, Computer Networks, 48:247–266, 2005.
http://dx.doi.org/10.1016/j.comnet.2004.09.009

[10] T.-D. Cao, T.-T. Phan-Quang, P. Felix, and R. Castanet, “Automated Runtime Verification for Web services”, IEEE International Conference on Web services, pp. 76–82, July 5–10, 2010, Miami, FL, USA.

[11] A. Cavalli, Edgardo Montes De Oca, W. Mallouli, and M. Lallali, “Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints”, 12th IEEE International Symposium on Distributed Simulation and Real Time Applications, Canada, Oct 27–29, 2008.

[12] A. Cavalli, C. Gervy, and S. Prokopenko, “New approaches for passive testing using an extended finite state machine specification”, Infomation and Software technology, 45(12):837–852, 2003.

[13] A. Cavalli, A. Benameur, W. Mallouli, and K. Li, “A Passive Testing Approach for Security Checking and its Pratical Usage for Web Services Monitoring”, NOTERE 2009, Montreal, Canada, 2009.

[14] F. Cuppens, N. Cuppens-Boulahia, and T. Sans, “Nomad: a security model with non atomic actions and deadlines”, 18th IEEE Workshop on Computer Security Foundations, pp. 186–196, June 20–22, 2005, Aix-en-Provence, France.

[15] S. Halle, R. Villemaire, and O. Cherkaoui, “Specifying and Validating Data-Aware Temporal Web Service Properties” IEEE Transactions on Software Engineering, 35(5):669-683, 2009.
http://dx.doi.org/10.1109/TSE.2009.29

[16] W. Mallouli, F. Bessayah, A. Cavalli, and A. Benameur, “Security Rules Specification and analysis Based on Passive Testing” IEEE Global Telecommunications Conference, 2008, pp. 1–6, Nov 30– Dec 4, 2008, New Orleans, LA, USA.

[17] D Dranidis, E. Ramollari, and D. Kourtesis, “Run-time Verification of Behavioural Conformance for Conversational Web Services”, 2009 Seventh IEEE European Conference on Web Services, pp. 139–147, Nov 9–11, 2009, Eindhoven, The Netherlands.

[18] A . Goldberg and K. Havelund, “Automated Runtime Verification with Eagle”, Verification and Validation of Enterprise Information Systems, May 24, 2005, Miami, USA.

[19] Alfred Inselberg, “The plane with parallel coordinates”, The Visual Computer, 1(2):69–91, 1985.
http://dx.doi.org/10.1007/BF01898350

[20] Z. Li, Y. Jin, and J. Han, “A Runtime Monitoring and Validation Framework for Web Service Interactions”, Proceedings of the Australian Software Engineering Conference, pp. 70–79, Apr 18– 21, 2006, Sydney, Australia.

[21] Z. Li, J. Han, and Y. Jin, “Pattern-Based Specification and Validation of Web Services Interaction Properties”, In Proceedings of the 3rd International Conference on Service Oriented Computing (ICSOC’05), pp. 73–86, Dec 12–15, 2005, Amsterdam, The Netherlands.
PMid:16493125

[22] M. Tabourier and A. Cavalli, “Passive testing and application to the GSM-MAP protocol”, Information ans software technology, 41:813–821, 1999.

[23] W. P. Consortium, “D5.1 webmov case studies: definition of functional requirements and test purposes”, WebMov, Tech. Rep. WEBMOV-FC-D5.1/T5.1, 2009.

[24] Eviware, http://www.eviware.com/.


Full Text: PDF


Journal of Software (JSW, ISSN 1796-217X)

Copyright @ 2006-2013 by ACADEMY PUBLISHER – All rights reserved.