Publication Details

Noise Injection Heuristics for Concurrency Testing

KŘENA, B.; LETKO, Z.; VOJNAR, T. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7119, p. 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 tothe non-determinism present in scheduling of concurrent threads. Existingtesting approaches tackle this problem either using a modified scheduler whichallows to systematically explore possible scheduling alternatives or usingrandom or heuristic noise injection which allows to observe different schedulingscenarios. In this paper, we experimentally compare several existing noiseinjection heuristics both from the point of view of coverage of possiblebehaviours as well as from the point of view of error discovery probability.Moreover, we also propose a new noise injection heuristics which usesconcurrency coverage information to decide where to put noise and show that itcan 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
BibTeX
@article{BUT91448,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar}",
  title="Noise Injection Heuristics for Concurrency Testing",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="7119",
  pages="123--131",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/9725/"
}
Back to top