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

doi:10.1007/978-3-642-13911-6_45

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

College of Engineering and Physical Sciences

Research output: Chapter in Book/Published conference output › Conference publication

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 language	English
Title of host publication	Web Engineering - 10th International Conference, ICWE 2010, Proceedings
Pages	531-534
Number of pages	4
DOIs	https://doi.org/10.1007/978-3-642-13911-6_45
Publication status	Published - 3 Aug 2010
Event	10th International Conference on Web Engineering, ICWE 2010 - Vienna, Austria Duration: 5 Jul 2010 → 9 Jul 2010

Publication series

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

Conference

Conference	10th International Conference on Web Engineering, ICWE 2010
Country/Territory	Austria
City	Vienna
Period	5/07/10 → 9/07/10

Keywords

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

Access to Document

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

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 et al. / 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 = aug,

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",

note = "10th International Conference on Web Engineering, ICWE 2010 ; Conference date: 05-07-2010 Through 09-07-2010",

}

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 et al.
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/Published conference output › Conference publication

TY - GEN

T1 - Takuan

T2 - 10th International Conference on Web Engineering, ICWE 2010

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 publication

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

Y2 - 5 July 2010 through 9 July 2010

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)). doi: 10.1007/978-3-642-13911-6_45

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this