Detail publikace

Analysis and Testing of Concurrent Programs

LETKO, Z. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2013, vol. 5, no. 3, p. 1-8. ISSN: 1338-1237.
Název česky
Analýza a testování vícevláknových programů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
URL
Klíčová slova

concurrency, testing, noise injection, optimization algorithms

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
BibTeX 
@article{BUT103589,
  author="Zdeněk {Letko}",
  title="Analysis and Testing of Concurrent Programs",
  journal="Information Sciences and Technologies Bulletin of the ACM Slovakia",
  year="2013",
  volume="5",
  number="3",
  pages="1--8",
  issn="1338-1237",
  url="http://acmbulletin.fiit.stuba.sk/vol5num3.html"
}
Nahoru