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. © 2010 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6189 LNCS, pp. 531–534). https://doi.org/10.1007/978-3-642-13911-6_45
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
