GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis

  • Juan-José Domínguez-Jiménez
  • Antonia Estero-Botaro
  • Antonio García-Domínguez
  • Inmaculada Medina-Bulo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6189)


This paper shows a novel tool, GAmera, the first mutant generation tool for testing Web Service compositions written in the WS-BPEL language. After several improvements and the development of a graphical interface, we consider GAmera to be a mature tool that implements an optimization technique to reduce the number of generated mutants without significant loss of testing effectiveness. A genetic algorithm is used for generating and selecting a subset of high-quality mutants. This selection reduces the computational cost of mutation testing. The subset of mutants generated with this tool allows the user to improve the quality of the initial test suite.


Genetic Algorithm Test Suite Mutation Operator Software Test Mutation Testing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    OASIS: Web Services Business Process Execution Language 2.0 (2007),
  2. 2.
    Offutt, A.J., Untch, R.H.: Mutation 2000: uniting the orthogonal. In: Mutation testing for the new century, pp. 34–44. Kluwer Academic Publishers, Dordrecht (2001)Google Scholar
  3. 3.
    Rice, R.: Surviving the top 10 challenges of software test automation. CrossTalk: The Journal of Defense Software Engineering, 26–29 (mayo 2002)Google Scholar
  4. 4.
    King, K.N., Offutt, A.J.: A Fortran Language System for Mutation-based Software Testing. Software - Practice and Experience 21(7), 685–718 (1991)CrossRefGoogle Scholar
  5. 5.
    Ma, Y.S., Offutt, J., Kwon, Y.R.: MuJava: an automated class mutation system. Software Testing, Verification & Reliability 15(2), 97–133 (2005)CrossRefGoogle Scholar
  6. 6.
    Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I.: Mutation operators for WS-BPEL 2.0. In: Proceedings of the 21th International Conference on Software & Systems Engineering and their Applications (2008)Google Scholar
  7. 7.
    Domínguez-Jiménez, J.J., Estero-Botaro, A., Medina-Bulo, I.: A framework for mutant genetic generation for WS-BPEL. In: Nielsen, M., Kucera, A., Miltersen, P.B., Palamidessi, C., Tuma, P., Valencia, F.D. (eds.) SOFSEM 2009. LNCS, vol. 5404, pp. 229–240. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Domínguez-Jiménez, J.J., Estero-Botaro, A., García-Domínguez, A., Medina-Bulo, I.: GAmera: An automatic mutant generation system for WS-BPEL. In: Proceedings of the 7th IEEE European Conference on Web Services, pp. 97–106. IEEE Computer Society Press, Los Alamitos (2009)CrossRefGoogle Scholar
  9. 9.
    ActiveVOS: ActiveBPEL WS-BPEL and BPEL4WS engine (2008),
  10. 10.
    Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: TAV-WEB’06: Proceedings of the workshop on Testing, analysis, and verification of web services and applications, pp. 33–42. ACM, New York (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Juan-José Domínguez-Jiménez
    • 1
  • Antonia Estero-Botaro
    • 1
  • Antonio García-Domínguez
    • 1
  • Inmaculada Medina-Bulo
    • 1
  1. 1.Dpt. Computer Languages and SystemsUniversity of Cádiz, Escuela Superior de IngenieríaCádizSpain

Personalised recommendations