WSCCT: a tool for WS-BPEL compositions conformance testing

Authors:
Afef Jmal Maâlej;Moez Krichen;Mohamed Jmaïel
Affiliations:
University of Sfax, BP, Sfax-Tunisia;University of Sfax, BP, Sfax-Tunisia;University of Sfax, BP, Sfax-Tunisia
Venue:
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Year:
2013

Citing 7
Cited 0

A theory of timed automata

Theoretical Computer Science
Testing Concurrent Systems: A Formal Approach

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
T-UPPAAL: Online Model-based Testing of Real-Time Systems

Proceedings of the 19th IEEE international conference on Automated software engineering
BPEL4WS Unit Testing: Framework and Implementation

ICWS '05 Proceedings of the IEEE International Conference on Web Services
Testing Web Services Composition Using the TGSE Tool

SERVICES '09 Proceedings of the 2009 Congress on Services - I
Online Testing Framework for Web Services

ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Model-Based Conformance Testing of WS-BPEL Compositions

COMPSACW '12 Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops

Quantified Score

Hi-index	0.00

Visualization

Abstract

WS-BPEL is considered as the emerging standard for Web service compositions. As more and more compositions are modeled using WS-BPEL, ensuring good quality of WS-BPEL codes becomes crucial. This paper shows a novel tool, WSCCT, implemented for conformance testing of WS-BPEL compositions. It is based on Timed Automata as model for online testing of WS-BPEL implementations. The tool is being extended with graphical user interfaces. Besides, we illustrate how to use our proposed tool for conformance testing of a travel agency scenario which is implemented in BPEL.