Publication detail

Noise Injection Heuristics for Concurrency Testing

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

Original Title

Noise Injection Heuristics for Concurrency Testing

Type

journal article - other

Language

English

Original 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.

Keywords

Java, concurrency, testing, coverage, noise injection

Authors

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

RIV year

2012

Released

20. 1. 2012

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Year of study

2012

Number

7119

State

Federal Republic of Germany

Pages from

123

Pages to

131

Pages count

8

URL

https://www.fit.vut.cz/research/publication/9725/

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

Documents

memics11_final.pdf