Detail publikace

Analysis and Testing of Concurrent Programs

LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 5, č. 3, 2013, s. 1-8. ISSN 1338-1237. Dostupné z: http://acmbulletin.fiit.stuba.sk/vol5num3.html
Název česky
Analýza a testování vícevláknových programů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

V tomto článku je uvedena metodologie odvozování nových metrik pokrytí pro vícevláknové programy, které se používají pro měření jak důkladně byl otestováno chování programu a synchronizace v něm implementovaná. Dále jsou uvedeny naše zkušenosti s testováním vícevláknových programů pomocí techniky vkládání šumu ukazující, že neexistuje konfigurace šumu, která by předčila všechny ostatní. Následně je prezentován nový přístup založený na optimalizačních algoritmech, které hledají optimální kombinaci parametrů šumu pro daný program. Tento přístup byl prototypově implementován a otestován na několika programech. Testy prokázaly významný přínos tohoto řešení při testování vícevláknových programů.

Rok
2013
Strany
1-8
Časopis
Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 5, č. 3, ISSN 1338-1237
Vydavatel
Vydavateľstvo STU
BibTeX 
@ARTICLE{FITPUB10494,
   author = "Zden\v{e}k Letko",
   title = "Analysis and Testing of Concurrent Programs",
   pages = "1--8",
   journal = "Information Sciences and Technologies Bulletin of the ACM Slovakia",
   volume = 5,
   number = 3,
   year = 2013,
   ISSN = "1338-1237",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10494"
}
Nahoru