Článek v časopise

LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2013, roč. 5, č. 3, s. 1-8. ISSN 1338-1237. Dostupné z: http://acmbulletin.fiit.stuba.sk/vol5num3.html
Jazyk publikace:angličtina
Název publikace:Analysis and Testing of Concurrent Programs
Název (cs):Analýza a testování vícevláknových programů
Strany:1-8
Místo vydání:SK
Rok:2013
URL:http://acmbulletin.fiit.stuba.sk/vol5num3.html
Časopis:Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 5, č. 3, Bratislava, SK
ISSN:1338-1237
Soubory: 
Klíčová slova
concurrency, testing, noise injection, optimization algorithms
Anotace
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ů.
BibTeX:
@ARTICLE{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=10494}
}

Vaše IPv4 adresa: 54.81.166.196
Přepnout na IPv6 spojení

DNSSEC [dnssec]