A Framework for Genetic Test-Case Generation for WS-BPEL Compositions

Abstract : 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.
Type de document :
Communication dans un congrès
Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.1-16, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_1〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01405261
Contributeur : Hal Ifip <>
Soumis le : mardi 29 novembre 2016 - 16:31:33
Dernière modification le : mardi 29 novembre 2016 - 16:38:34
Document(s) archivé(s) le : lundi 27 mars 2017 - 09:05:08

Fichier

978-3-662-44857-1_1_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Antonia Estero-Botaro, Antonio García-Domínguez, Juan Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo. A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.1-16, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_1〉. 〈hal-01405261〉

Partager

Métriques

Consultations de la notice

39

Téléchargements de fichiers

5