Detail publikace

Testing of Concurrent Programs Using Genetic Algorithms

DUDKA, V. KŘENA, B. LETKO, Z. VOJNAR, T.

Originální název

Testing of Concurrent Programs Using Genetic Algorithms

Typ

zpráva odborná

Jazyk

angličtina

Originální abstrakt

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 how to set parameters 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.

Klíčová slova

testing, concurrent software, noise heuristics, genetic algorithms

Autoři

DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

Vydáno

1. 7. 2012

Místo

FIT-TR-2012-01, Brno

Strany počet

31

BibTex

@techreport{BUT192827,
  author="Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar}",
  title="Testing of Concurrent Programs Using Genetic Algorithms",
  year="2012",
  address="FIT-TR-2012-01, Brno",
  pages="31"
}