WSOFT : an automatic testing tool for web services composition

Dung Cao (1) , Patrick Félix (1) , Richard Castanet (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

This paper presents an automatic conformance testing tool with timing constraints from a formal specification (TEFSM: Timed Extended Finite State Machine) of web services composition (WSOTF: Web Service composition, Online Testing Framework), that is implemented by an online testing algorithm. This algorithm combines simultaneously idea of test execution and debug to generate and simultaneously execute the test cases. In this tool, the complete test scenario (timed test case suite and data) is built during test execution. This tool focus on unit testing, it means that only the service composition under test is tested and all its partners will be simulated by the WSOTF. This tool also considers the timing constraints and synchronous time delay. We can also use this tool for debug that is not easy while we develop a composite of Web service.

Mots clés: Web Services Composition; Conformance Testing; Test Generation; Debugger; Timed Extended Finite State Machine.; Timed Extended Finite State Machine

Domaines: Modélisation et simulation

Dung Cao, Patrick Félix, Richard Castanet. WSOFT : an automatic testing tool for web services composition. 5th International Conference on Internet and Web Applications and Services, May 2010, Barcelona, Spain. pp.7-12. ⟨hal-00997951⟩