Publication Details

Testing of Concurrent Programs with Genetic Algorithms

DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Testing of Concurrent Programs with Genetic Algorithms. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2012. p. 0-0. ISBN: 978-80-87342-15-2.
Czech title
Testování vícevláknových aplikací pomocí genetických algoritmů
Type
abstract
Language
English
Authors
Dudka Vendula, Ing.
Křena Bohuslav, Ing., Ph.D. (DITS)
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
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
1
Book
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-87342-15-2
Publisher
Masaryk University
Place
Brno
BibTeX 
@misc{BUT192867,
  author="Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="Testing of Concurrent Programs with Genetic Algorithms",
  booktitle="8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2012",
  pages="1",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-87342-15-2",
  note="abstract"
}
Back to top