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

Authors:
Manuel Palomo-Duarte;Antonio García-Domínguez;Inmaculada Medina-Bulo;Alejandro Alvarez-Ayllón;Javier Santacruz
Affiliations:
Department of Computer Languages and Systems. Universidad de Cádiz, Escuela, Cádiz, Spain;Department of Computer Languages and Systems. Universidad de Cádiz, Escuela, Cádiz, Spain;Department of Computer Languages and Systems. Universidad de Cádiz, Escuela, Cádiz, Spain;Department of Computer Languages and Systems. Universidad de Cádiz, Escuela, Cádiz, Spain;Department of Computer Languages and Systems. Universidad de Cádiz, Escuela, Cádiz, Spain
Venue:
ICWE'10 Proceedings of the 10th international conference on Web engineering
Year:
2010

Citing 4
Cited 1

Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions

ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition

SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information

ICWE '9 Proceedings of the 9th International Conference on Web Engineering

Cost-aware pareto optimal test suite minimisation for service-centric systems

Proceedings of the 15th annual conference on Genetic and evolutionary computation

Quantified Score

Hi-index	0.00

Visualization

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.