Timed Extended Invariants for the Passive Testing of Web Services

Authors:
Gerardo Morales;Stephane Maag;Ana Cavalli;Wissam Mallouli;Edgardo Montes de Oca;Bachar Wehbi
Affiliations:
-;-;-;-;-;-
Venue:
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Year:
2010

Citing 0
Cited 4

Data-centric property formulation for passive testing of communication protocols

ACC'11/MMACTEE'11 Proceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing
Passive conformance testing of service choreographies

Proceedings of the 27th Annual ACM Symposium on Applied Computing
A formal data-centric approach for passive testing of communication protocols

IEEE/ACM Transactions on Networking (TON)
Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise level integration. Formal testing of such Web-based technology is a key point to guarantee its reliability. In this paper, we choose a non-intrusive approach based on monitoring to propose a conformance passive testing methodology to check that a composed Web service respects its functional requirements. This methodology is based on a set of formal invariants representing properties to be tested including data and time constraints. Passive testing of an industrial system (that uses a composition of Web services) is briefly presented to demonstrate the effectiveness of the proposed approach.