A framework for genetic test-case generation for WS-BPEL compositions

Antonia Estero-Botaro*, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo

*Corresponding author for this work

Research output: Chapter in Book/Published conference outputConference publication


Search-based testing generates test cases by encoding an adequacy criterion as the fitness function that drives a search-based optimization algorithm. Genetic algorithms have been successfully applied in search-based testing: while most of them use adequacy criteria based on the structure of the program, some try to maximize the mutation score of the test suite.

This work presents a genetic algorithm for generating a test suite for mutation testing. The algorithm adopts several features from existing bacteriological algorithms, using single test cases as individuals and keeping generated individuals in a memory. The algorithm can optionally use automated seeding when producing the first population, by taking into account interesting constants in the source code.

We have implemented this algorithm in a framework and we have applied it to a WS-BPEL composition, measuring to which extent the genetic algorithm improves the initial random test suite. We compare our genetic algorithm, with and without automated seeding, to random testing.

Original languageEnglish
Title of host publicationTesting software and systems
Subtitle of host publication26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
EditorsMercedes G. Merayo, Edgardo Montes de Oca
Place of PublicationBerlin (DE)
Number of pages16
ISBN (Electronic)978-3-662-44857-1
ISBN (Print)978-3-662-44856-4
Publication statusPublished - 2014
Event26th IFIP WG 6.1 International Conference - Madrid, Spain
Duration: 23 Sept 201425 Sept 2014

Publication series

NameLecture Notes in Computer Science
Volume 8763
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference26th IFIP WG 6.1 International Conference
Abbreviated titleICTSS 2014


Dive into the research topics of 'A framework for genetic test-case generation for WS-BPEL compositions'. Together they form a unique fingerprint.

Cite this