Faculty of Information Technology, BUT

Publication Details

Noise Injection Heuristics for Concurrency Testing

KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, vol. 2012, no. 7119, pp. 123-131. ISSN 0302-9743.
Czech title
Heuristiky vkládání šumu pro testování vícevláknových programů
Type
journal article
Language
english
Authors
Keywords
Java, concurrency, testing, coverage, noise injection
Abstract
Testing of concurrent software is difficult due to
the non-determinism present in scheduling of concurrent threads. Existing
testing approaches tackle this problem either using a modified scheduler which
allows to systematically explore possible scheduling alternatives or using
random or heuristic noise injection which allows to observe different scheduling
scenarios. In this paper, we experimentally compare several existing noise
injection heuristics both from the point of view of coverage of possible
behaviours as well as from the point of view of error discovery probability.
Moreover, we also propose a new noise injection heuristics which uses
concurrency coverage information to decide where to put noise and show that it
can outperform the existing approaches in certain cases.
Published
2012
Pages
123-131
Journal
Lecture Notes in Computer Science, vol. 2012, no. 7119, ISSN 0302-9743
Publisher
Springer Verlag
BibTeX
@ARTICLE{FITPUB9725,
   author = "Bohuslav K\v{r}ena and Zden\v{e}k Letko and Tom\'{a}\v{s} Vojnar",
   title = "Noise Injection Heuristics for Concurrency Testing",
   pages = "123--131",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 7119,
   year = 2012,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9725"
}
Back to top