Observability and Controllability Issues in Conformance Testing of Web Service Compositions

Authors:
Jose Pablo Escobedo;Christophe Gaston;Pascale Gall;Ana Cavalli
Affiliations:
TELECOM & Management SudParis (ex INT) - CNRS SAMOVAR, ÉÉÉvry, France 91011;CEA LIST, Gif-sur-Yvette, France 91191;Programme d'Épigénomique Université d'Évry-Val d'Essonne, Évry, France 91000 and Laboratoire MAS, Grande Voie des Vignes, Châtenay-Malabry, France 92195;TELECOM & Management SudParis (ex INT) - CNRS SAMOVAR, ÉÉÉvry, France 91011
Venue:
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Year:
2009

Citing 2
Cited 0

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Symbolic execution techniques for test purpose definition

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a model-based black-box testing approach to test conformance of Web Service Compositions (WSC). When a WSC under test makes use of implementations of Web Services, two situations may occur: either communications between the WSC and the Web Services are observable or hidden internal actions. We show by means of an example how to generate test cases whose verdicts are provided with explanations taking into account the status of the Web Services.