Faculty of Information Technology, BUT

Publication Details

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Lecture Notes in Computer Science, vol. 8636. Heidelberg: Springer Verlag, 2014, pp. 107-122. ISBN 978-3-319-09939-2.
Czech title
Multi-kriteriální genetická optimalizace pro testování vícevláknových programů za pomoci šumu
Type
conference paper
Language
english
Authors
Keywords
Concurrent programs, testing, noise injection, genetic algorithm, multi-objective
Abstract

Testing of multi-threaded programs is
a~demanding work due to the many possible thread interleavings one should
examine. The noise injection technique helps to increase the number of thread
interleavings examined during repeated test executions provided that a~suitable
setting of noise injection heuristics is used. The problem of finding such
a~setting, i.e., the so called test and noise configuration search problem (TNCS
problem), is not easy to solve. In this paper, we show how to apply
a~multi-objective genetic algorithm (MOGA) to the TNCS problem. In particular,
we focus on generation of TNCS solutions that cover a~high number of distinct
interleavings (especially those which are rare) and provide stable results at
the same time. To achieve this goal, we study suitable metrics and ways how to
suppress effects of non-deterministic thread scheduling on the proposed
MOGA-based approach. We also discuss a~choice of a~concrete MOGA and its
parameters suitable for our setting.  Finally, we show on a~set of benchmark
programs that our approach provides better results when compared to the commonly
used random approach as well as to the sooner proposed use of a~single-objective
genetic approach.
Published
2014
Pages
107-122
Proceedings
SSBSE'14
Series
Lecture Notes in Computer Science
Volume
8636
Conference
SSBSE - 6th Symposium on Search Based Software Engineering, Fortaleza, Aquiraz, Ceará, Brasil, BR
ISBN
978-3-319-09939-2
Publisher
Springer Verlag
Place
Heidelberg, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB10675,
   author = "Vendula Dudka and Bohuslav K\v{r}ena and Zden\v{e}k Letko and Hana Pluh\'{a}\v{c}kov\'{a} and Tom\'{a}\v{s} Vojnar",
   title = "Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software",
   pages = "107--122",
   booktitle = "SSBSE'14",
   series = "Lecture Notes in Computer Science",
   volume = 8636,
   year = 2014,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-09939-2",
   doi = "10.1007/978-3-319-09940-8\_8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10675"
}
Back to top