Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation

Manuel Palomo-Duarte*, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Alvarez-Ayllón, Javier Santacruz

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

WS-BPEL eases programming in the large by composing web services, but poses new challenges to classical white-box testing techniques. These have to be updated to take context into account and cope with its specific instructions for web service management. Takuan is an open-source system that dynamically generates invariants reflecting the internal logic of a WS-BPEL composition. After several improvements and the development of a graphical interface, we consider Takuan to be a mature tool that can help find both bugs in the WS-BPEL composition and missing test cases in the test suite.

Original languageEnglish
Title of host publicationWeb Engineering - 10th International Conference, ICWE 2010, Proceedings
Pages531-534
Number of pages4
DOIs
Publication statusPublished - 3 Aug 2010
Event10th International Conference on Web Engineering, ICWE 2010 - Vienna, Austria
Duration: 5 Jul 20109 Jul 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6189 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Conference on Web Engineering, ICWE 2010
CountryAustria
CityVienna
Period5/07/109/07/10

Keywords

  • dynamic invariant generation
  • service composition
  • Web services
  • white-box testing
  • WS-BPEL

Fingerprint Dive into the research topics of 'Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation'. Together they form a unique fingerprint.

  • Cite this

    Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I., Alvarez-Ayllón, A., & Santacruz, J. (2010). Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation. In Web Engineering - 10th International Conference, ICWE 2010, Proceedings (pp. 531-534). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6189 LNCS). https://doi.org/10.1007/978-3-642-13911-6_45