Paper Info
Title
Timed Extended Invariants for the Passive Testing of Web Services
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.
Year
DOI
Venue
2010
10.1109/ICWS.2010.17
ICWS
Keywords
Field
DocType
Web services,conformance testing,Web services conformance passive testing,service-oriented approach,timed extended invariants,BPEL,Passive Testing
Computer science,WS-Addressing,Web standards,Data Web,Conformance testing,Web modeling,Web service,Service-oriented architecture,Database,WS-Policy
Conference
Citations 
PageRank 
References 
11
0.54
5
Authors
6
Name
Order
Citations
PageRank
Gerardo Morales1304.73
Stephane Maag222927.21
Ana Cavalli31028.18
Wissam Mallouli413019.86
Edgardo Montes de Oca59312.06
Bachar Wehbi6535.79