%0 Conference Proceedings
%T A Framework for Genetic Test-Case Generation for WS-BPEL Compositions
%+ Universidad de Cádiz = University of Cádiz (UCA)
%A Estero-Botaro, Antonia
%A García-Domínguez, Antonio
%A Domínguez-Jiménez, Juan, José
%A Palomo-Lozano, Francisco
%A Medina-Bulo, Inmaculada
%Z Part 1: Testing Methodologies
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 26th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Madrid, Spain
%Y Mercedes G. Merayo
%Y Edgardo Montes Oca
%I Springer
%3 Testing Software and Systems
%V LNCS-8763
%P 1-16
%8 2014-09-23
%D 2014
%R 10.1007/978-3-662-44857-1_1
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01405261/document
%2 https://inria.hal.science/hal-01405261/file/978-3-662-44857-1_1_Chapter.pdf
%L hal-01405261
%U https://inria.hal.science/hal-01405261
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8763
%~ IFIP-ICTSS