Detail publikace

Noise Injection Heuristics for Concurrency Testing

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

Originální název

Noise Injection Heuristics for Concurrency Testing

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Java, concurrency, testing, coverage, noise injection

Autoři

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

Rok RIV

2012

Vydáno

20. 1. 2012

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Ročník

2012

Číslo

7119

Stát

Spolková republika Německo

Strany od

123

Strany do

131

Strany počet

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

Dokumenty

memics11_final.pdf