Advertisement

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
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6189)

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

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

References

  1. 1.
    Bucchiarone, A., Melgratti, H., Severoni, F.: Testing service composition. In: Proceedings of the 8th Argentine Symposium on Software Engineering, ASSE ’07 (2007)Google Scholar
  2. 2.
    Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering 27(2), 99–123 (2001)CrossRefGoogle Scholar
  3. 3.
    Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I.: Takuan: A dynamic invariant generation system for WS-BPEL compositions. In: ECOWS ’08: Proceedings of the 2008 Sixth European Conference on Web Services, Washington, DC, USA, pp. 63–72. IEEE Computer Society, Los Alamitos (2008)CrossRefGoogle Scholar
  4. 4.
    Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I.: Improving Takuan to analyze a meta-search engine WS-BPEL composition. In: SOSE ’08: Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering, Washington, DC, USA, pp. 109–114. IEEE Computer Society Press, Los Alamitos (2008)CrossRefGoogle Scholar
  5. 5.
    Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I.: Enhancing WS-BPEL dynamic invariant generation using XML Schema and XPath information. In: Gaedke, M., Grossniklaus, M., Díaz, O. (eds.) ICWE ’09. LNCS, vol. 5648, pp. 469–472. Springer, Heidelberg (2009)Google Scholar
  6. 6.
    Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I.: An architecture for dynamic invariant generation in WS-BPEL web service compositions. In: Proceedings of ICE-B 2008 - International Conference on e-Business, Porto, Portugal. INSTICC Press (July 2008)Google Scholar
  7. 7.
    SPI&FM Group: Official Takuan home site, http://neptuno.uca.es/~takuan
  8. 8.
    García Domínguez, A., Medina Bulo, I., Marcos Bárcena, M.: Hacia la integración de técnicas de pruebas en metodologías dirigidas por modelos para SOA. In: Actas de las V Jornadas Científico-Técnicas en Servicios Web y SOA, Madrid (October 2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Manuel Palomo-Duarte
    • 1
  • Antonio García-Domínguez
    • 1
  • Inmaculada Medina-Bulo
    • 1
  • Alejandro Alvarez-Ayllón
    • 1
  • Javier Santacruz
    • 1
  1. 1.Department of Computer Languages and Systems.Universidad de Cádiz, Escuela Superior de IngenieríaCádizSpain

Personalised recommendations