skip to main content
10.1145/2480362.2480563acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

WSCCT: a tool for WS-BPEL compositions conformance testing

Published: 18 March 2013 Publication History

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.

References

[1]
R. Alur and D. L. Dill. A theory of timed automata. Theoretical computer science, 126(2):183--235, 1994.
[2]
C. Barreto, V. Bullard, T. Erl, J. Evdemon, D. Jordan, K. Kand, D. Knig, S. Moser, R. Stout, R. Ten-Hove, I. Trickovic, D. van der Rijn, and A. Yiu. Web Services Business Process Execution Language Version 2.0 Primer. OASIS, May 2007.
[3]
T. Cao, P. Felix, R. Castanet, and I. Berrada. Testing web services composition using the tgse tool. In Proceedings of the IEEE Congress on Services, volume 0, pages 187--194, Los Alamitos, CA, USA, 2009. IEEE Computer Society.
[4]
T. Cao, P. Felix, R. Castanet, and I. Berrada. Online testing framework for web services. In Proceedings of the 3rd International Conference on Software Testing, Verification and Validation, volume 0, pages 363--372, Los Alamitos, CA, USA, 2010. IEEE Computer Society.
[5]
J. Garcia-fanjul, J. Tuya, and C. de la Riva. Generating test cases specifications for bpel compositions of web services using spin. In International Workshop on Web Services Modeling and Testing, 2006.
[6]
Z. Li, W. Sun, Z. B. Jiang, and X. Zhang. Bpel4ws unit testing: Framework and implementation. In Proceedings of the IEEE International Conference on Web Services, pages 103--110, Orlando, FL, USA, 11--15 July 2005.
[7]
A. J. Maâlej, M. Krichen, and M. Jmaïel. Model-based conformance testing of ws-bpel compositions. In Proceedings of the 36th IEEE Annual International Computer Software and Applications Conference Workshops, pages 452--457, Izmir, Turkey, 16--20 July 2012. IEEE Computer Society.
[8]
M. Mikucionis, K. G. Larsen, and B. Nielsen. T-uppaal: Online model-based testing of real-time systems: tool demo. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering, pages 396--397, Linz, Austria, September 24 2004.
[9]
R. W. Rice. Surviving the top ten challenges of software test automation. CrossTalk: The Journal of Defense Software Engineering, pages 26--29, 2002.
[10]
J. Tretmans. Testing concurrent systems: A formal approach. In Proceedings of the 10th International Conference on Concurrency Theory, volume 1664 of LNCS, pages 46--65. Springer, 1999.

Cited By

View all
  • (2013)WSCLTProceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises10.1109/WETICE.2013.71(272-277)Online publication date: 17-Jun-2013
  • (2013)Automated Significant Load Testing for WS-BPEL CompositionsProceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops10.1109/ICSTW.2013.25(144-153)Online publication date: 18-Mar-2013

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing
March 2013
2124 pages
ISBN:9781450316569
DOI:10.1145/2480362
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 March 2013

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. WS-BPEL compositions
  2. conformance testing
  3. online testing
  4. timed automata

Qualifiers

  • Research-article

Conference

SAC '13
Sponsor:
SAC '13: SAC '13
March 18 - 22, 2013
Coimbra, Portugal

Acceptance Rates

SAC '13 Paper Acceptance Rate 255 of 1,063 submissions, 24%;
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2013)WSCLTProceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises10.1109/WETICE.2013.71(272-277)Online publication date: 17-Jun-2013
  • (2013)Automated Significant Load Testing for WS-BPEL CompositionsProceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops10.1109/ICSTW.2013.25(144-153)Online publication date: 18-Mar-2013

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media