Timed extended invariants for the passive testing of Web services

Gerardo Morales; Stephane Maag; Ana Cavalli; Wissam Mallouli; Edgardo Montes De Oca; Bachar Wehbi

doi:10.1109/ICWS.2010.17

Timed extended invariants for the passive testing of Web services

Gerardo Morales
, Stephane Maag
, Ana Cavalli
, Wissam Mallouli
, Edgardo Montes De Oca
, Bachar Wehbi

Centre national de la recherche scientifique
Montimage

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 enterpriselevel 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.

Original language	English
Title of host publication	ICWS 2010 - 2010 IEEE 8th International Conference on Web Services
Pages	592-599
Number of pages	8
DOIs	https://doi.org/10.1109/ICWS.2010.17
Publication status	Published - 6 Oct 2010
Event	2010 IEEE 8th International Conference on Web Services, ICWS 2010 - Miami, FL, United States Duration: 5 Jul 2010 → 10 Jul 2010

Publication series

Name	ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

Conference

Conference	2010 IEEE 8th International Conference on Web Services, ICWS 2010
Country/Territory	United States
City	Miami, FL
Period	5/07/10 → 10/07/10

Access to Document

10.1109/ICWS.2010.17

Cite this

@inproceedings{db65e2cb07cb477892e4965929824070,

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 enterpriselevel 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.",

author = "Gerardo Morales and Stephane Maag and Ana Cavalli and Wissam Mallouli and \{De Oca\}, \{Edgardo Montes\} and Bachar Wehbi",

year = "2010",

month = oct,

day = "6",

doi = "10.1109/ICWS.2010.17",

language = "English",

isbn = "9780769541280",

series = "ICWS 2010 - 2010 IEEE 8th International Conference on Web Services",

pages = "592--599",

booktitle = "ICWS 2010 - 2010 IEEE 8th International Conference on Web Services",

note = "2010 IEEE 8th International Conference on Web Services, ICWS 2010 ; Conference date: 05-07-2010 Through 10-07-2010",

}

Morales, G, Maag, S, Cavalli, A, Mallouli, W, De Oca, EM & Wehbi, B 2010, Timed extended invariants for the passive testing of Web services. in ICWS 2010 - 2010 IEEE 8th International Conference on Web Services., 5552735, ICWS 2010 - 2010 IEEE 8th International Conference on Web Services, pp. 592-599, 2010 IEEE 8th International Conference on Web Services, ICWS 2010, Miami, FL, United States, 5/07/10. https://doi.org/10.1109/ICWS.2010.17

Timed extended invariants for the passive testing of Web services. / Morales, Gerardo; Maag, Stephane; Cavalli, Ana et al.
ICWS 2010 - 2010 IEEE 8th International Conference on Web Services. 2010. p. 592-599 5552735 (ICWS 2010 - 2010 IEEE 8th International Conference on Web Services).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Timed extended invariants for the passive testing of Web services

AU - Morales, Gerardo

AU - Maag, Stephane

AU - Cavalli, Ana

AU - Mallouli, Wissam

AU - De Oca, Edgardo Montes

AU - Wehbi, Bachar

PY - 2010/10/6

Y1 - 2010/10/6

N2 - 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 enterpriselevel 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.

AB - 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 enterpriselevel 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.

UR - https://www.scopus.com/pages/publications/77957278171

U2 - 10.1109/ICWS.2010.17

DO - 10.1109/ICWS.2010.17

M3 - Conference contribution

AN - SCOPUS:77957278171

SN - 9780769541280

T3 - ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

SP - 592

EP - 599

BT - ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

T2 - 2010 IEEE 8th International Conference on Web Services, ICWS 2010

Y2 - 5 July 2010 through 10 July 2010

ER -

Timed extended invariants for the passive testing of Web services

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this