Detail publikace

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.
Název česky
Heuristiky vkládání šumu pro testování vícevláknových programů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

Java, concurrency, testing, coverage, noise injection

Abstrakt

Testování vícevláknového software je velmi náročné díky nedeterminismu v plánování současně běžících vláken. Existující testovací přístupy řeší tento problém úpravou plánovače, což umožňuje systematicky prohledat všechny možné plánovací alternativy, nebo použitím náhodného nebo heuristicky vloženého šumu, který umožňuje otestovat různé plánovací scénáře.Tento článek obsahuje experimentální porovnání několika heuristik z pohledu pokrytí různých chování vícevláknové aplikace i z pohledu pravdepodobnosti odhalení chyby. Dále je uvedena nová na informacích o pokrytí chování založená heuristika pro vkládání šumu. Tato heuristika je porovnána s ostatními již existujícími heuristikami. Experimenty ukazují, že nová heuristika v určitých případech překonává již existující heuristiky. 

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