Title :
Model-Based Conformance Testing of WS-BPEL Compositions
Author :
Maâlej, Afef Jmal ; Krichen, Moez ; Jmaïel, Mohamed
Author_Institution :
Res. Unit of Dev. & Control of Distrib. Applic., Univ. of Sfax, Sfax, Tunisia
Abstract :
We propose in this paper a new approach for conformance testing of WS-BPEL compositions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing architecture and an algorithm for online test generation and execution. We also implemented our solution in the form of a prototype tool named WSCCT.
Keywords :
Web services; automata theory; program testing; WS-BPEL compositions; WSCCT; distributed testing architecture; model-based conformance testing; online test execution; online test generation; timed automata; Automata; Blood; Delay; Hospitals; Testing; Web services; Conformance Testing; Model-based Testing; Online Testing; Times Automata; WS-BPEL;
Conference_Titel :
Computer Software and Applications Conference Workshops (COMPSACW), 2012 IEEE 36th Annual
Conference_Location :
Izmir
Print_ISBN :
978-1-4673-2714-5
Electronic_ISBN :
978-0-7695-4758-9
DOI :
10.1109/COMPSACW.2012.86
