Faculty of Information Technology, BUT

Publication Details

Testing of Concurrent Programs with Genetic Algorithms

DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. Testing of Concurrent Programs with Genetic Algorithms. Lecture Notes in Computer Science, vol. 2012, no. 7515, pp. 152-167. ISSN 0302-9743.
English title
Testing of Concurrent Programs with Genetic Algorithms
Type
journal article
Language
czech
Authors
Dudka Vendula, Ing. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Letko Zdeněk, Ing., Ph.D. (DITS FIT BUT)
Ur Shmuel (IBM)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords
genetic algorithms, noise injection, testing, multi-threaded programs
Abstract
Noise injection disturbs the scheduling of program threads in order to increase the probability that more of their different legal interleavings occur during the testing process. However, there exist many different types of noise heuristics with many different parameters that are not easy to set such that noise injection is really efficient. In this paper, we propose a new way of using genetic algorithms to search for suitable types of noise heuristics and their parameters. This task is formalized as the test and noise configuration search problem in the paper, followed by a discussion of how to represent instances of this problem for genetic algorithms, which objectives functions to use, as well as parameter tuning of genetic algorithms when solving the problem. The proposed approach is evaluated on a set of benchmarks, showing that it provides significantly better results than the so far preferred random noise injection.
Published
2012
Pages
152-167
Journal
Lecture Notes in Computer Science, vol. 2012, no. 7515, ISSN 0302-9743
Publisher
Springer Verlag
BibTeX
@ARTICLE{FITPUB10014,
   author = "Vendula Dudka and Bohuslav K\v{r}ena and Zden\v{e}k Letko and Shmuel Ur and Tom\'{a}\v{s} Vojnar",
   title = "Testing of Concurrent Programs with Genetic Algorithms",
   pages = "152--167",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 7515,
   year = 2012,
   ISSN = "0302-9743",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/10014"
}
Back to top