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

Křena Bohuslav, Ing., Ph.D. (DITS)
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

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/"
}