Detail publikace

Advances in Noise-based Testing of Concurrent Programs

FIEDOR, J.; DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Advances in Noise-based Testing of Concurrent Programs. Software Testing Verification and Reliability, 2015, vol. 25, no. 3, p. 272-309. ISSN: 1099-1689.
Název česky
Pokroky v testování vícevláknového software za pomocí generátoru šumu
Typ
článek v časopise
Jazyk
anglicky
Autoři
Fiedor Jan, Ing., Ph.D. (UITS)
Dudka Vendula, Ing.
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

testing; dynamic analysis; noise injection; multi-threaded software; coverage metrics; genetic algorithm; meta-heuristic algorithms

Abstrakt

Testování paralelních programů napsaných v jazycích jako Java a C/C++ je vysoce náročnou prací kvůli mnoha možným interakcím mezi výpočetními vlákny. Jednoduchý a levný způsob testování představuje metoda vkládání šumu, která ovlivňuje plánování vláken. V tomto článku jsou prezentovány vybrané výsledky v oblasti testování za použití šumu. Zejména jsou prezentovány a porovnány různé metriky pokrytí kódu a heuristiky pro umístění a způsobování šumu. Dále je uvedeno několik doporučení, jak testování za pomocí šumu používat v praxi. Nakonec je prezentován nový způsob aplikace genetického algoritmu při testování -- konkrétně při automatickém nastavování parametrů generátoru šumu.

Rok
2015
Strany
272–309
Časopis
Software Testing Verification and Reliability, roč. 25, č. 3, ISSN 1099-1689
DOI
10.1002/stvr.1546
UT WoS
000353031800005
EID Scopus
2-s2.0-84927693779
BibTeX 
@article{BUT119778,
  author="Jan {Fiedor} and Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="Advances in Noise-based Testing of Concurrent Programs",
  journal="Software Testing Verification and Reliability",
  year="2015",
  volume="25",
  number="3",
  pages="272--309",
  doi="10.1002/stvr.1546",
  issn="1099-1689",
  url="http://onlinelibrary.wiley.com/doi/10.1002/stvr.1546/abstract"
}
Nahoru