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

Fingerprint

WS-BPEL
Web services
Testing
Web Services
Invariant
Chemical analysis
Service Management
Open Source
Programming
Logic
Internal

Keywords

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

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
Palomo-Duarte, Manuel ; García-Domínguez, Antonio ; Medina-Bulo, Inmaculada ; Alvarez-Ayllón, Alejandro ; Santacruz, Javier. / Takuan : A tool for WS-BPEL composition testing using dynamic invariant generation. Web Engineering - 10th International Conference, ICWE 2010, Proceedings. 2010. pp. 531-534 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{7295a06d39014eb3a0019adaa1b767a9,
title = "Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation",
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.",
keywords = "dynamic invariant generation, service composition, Web services, white-box testing, WS-BPEL",
author = "Manuel Palomo-Duarte and Antonio Garc{\'i}a-Dom{\'i}nguez and Inmaculada Medina-Bulo and Alejandro Alvarez-Ayll{\'o}n and Javier Santacruz",
year = "2010",
month = "8",
day = "3",
doi = "10.1007/978-3-642-13911-6_45",
language = "English",
isbn = "3642139108",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "531--534",
booktitle = "Web Engineering - 10th International Conference, ICWE 2010, Proceedings",

}

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6189 LNCS, pp. 531-534, 10th International Conference on Web Engineering, ICWE 2010, Vienna, Austria, 5/07/10. https://doi.org/10.1007/978-3-642-13911-6_45

Takuan : A tool for WS-BPEL composition testing using dynamic invariant generation. / Palomo-Duarte, Manuel; García-Domínguez, Antonio; Medina-Bulo, Inmaculada; Alvarez-Ayllón, Alejandro; Santacruz, Javier.

Web Engineering - 10th International Conference, ICWE 2010, Proceedings. 2010. p. 531-534 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6189 LNCS).

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

TY - GEN

T1 - Takuan

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

AU - Palomo-Duarte, Manuel

AU - García-Domínguez, Antonio

AU - Medina-Bulo, Inmaculada

AU - Alvarez-Ayllón, Alejandro

AU - Santacruz, Javier

PY - 2010/8/3

Y1 - 2010/8/3

N2 - 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.

AB - 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.

KW - dynamic invariant generation

KW - service composition

KW - Web services

KW - white-box testing

KW - WS-BPEL

UR - http://www.scopus.com/inward/record.url?scp=77955043802&partnerID=8YFLogxK

UR - https://link.springer.com/chapter/10.1007%2F978-3-642-13911-6_45

U2 - 10.1007/978-3-642-13911-6_45

DO - 10.1007/978-3-642-13911-6_45

M3 - Conference contribution

AN - SCOPUS:77955043802

SN - 3642139108

SN - 9783642139109

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 531

EP - 534

BT - Web Engineering - 10th International Conference, ICWE 2010, Proceedings

ER -

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