Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Letko Zdeněk, Ing., Ph.D., FIT (FIT), UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
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

Rok
2012
Strany
123–131
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 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/"
}
Soubory
Projekty
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, zahájení: 2010-01-01, ukončení: 2012-12-31, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru