ICWE 2010: Takuan: a Tool for WS-BPEL Composition Testing using Dynamic Invariant Generation


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.

BibTeX entry

  author    = {Manuel Palomo-Duarte and
               Antonio Garc\'{\i}a-Dom\'{\i}nguez and
               Inmaculada Medina-Bulo and
               Alejandro {\'A}lvarez-Ayll{\'o}n and
               Javier Santacruz},
  title     = {Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic
               Invariant Generation},
  booktitle = {ICWE},
  year      = {2010},
  pages     = {531-534},
  ee        = {http://dx.doi.org/10.1007/978-3-642-13911-6_45},
  crossref  = {DBLP:conf/icwe/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}

  editor    = {Boualem Benatallah and
               Fabio Casati and
               Gerti Kappel and
               Gustavo Rossi},
  title     = {Web Engineering, 10th International Conference, ICWE 2010,
               Vienna, Austria, July 5-9, 2010. Proceedings},
  booktitle = {ICWE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6189},
  year      = {2010},
  isbn      = {978-3-642-13910-9},
  ee        = {http://dx.doi.org/10.1007/978-3-642-13911-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}

icwe-takuan.pdf (198 KB) Manuel Palomo Duarte, 04/24/2014 09:57 PM