Detail publikace

A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel a VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. In: Runtime Verification. Lecture Notes in Computer Science, Volume 5779/2009. Berlin: Springer Verlag, 2009, s. 101-114. ISBN 978-3-642-04693-3.
Název česky
Nástroj pro testování paralelních programů a jeho moduly pro dynamickou analýzu a léčení
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Nir-Buchbinder Yarden (IBM)
Tzoref-Brill Rachel (IBM)
Ur Shmuel (IBM)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Článek popisuje nástroj pro testování paralelních programů (ConTest) a některé z jeho rozšíření. Rozšíření (v tomto článku nazývané plug-iny) jsou implementovány za pomoci architektury listenerů nástroje ConTest. Článek prezentuje dva plug-iny pro dynamickou detekci chyb v paralelismu-první (Eraser+) umožňuje detekovat časově závislé chyby nad daty a druhý (AtomRace) kromě těchto chyb detekuje ještě obecnější chyby způsobené porušením atomicity operací. Poslední prezentovaný plug-in umožňuje projevy detekovaných problémů potlačovat za běhu programu. Několik experimentů demonstruje možnosti těchto rozšíření.

Rok
2009
Strany
101-114
Sborník
Runtime Verification
Řada
Lecture Notes in Computer Science, Volume 5779/2009
Konference
21st International Conference on Computer Aided Verification (CAV'09) and 9th International Workshop on Runtime Verification (RV'09), Grenoble, FR
ISBN
978-3-642-04693-3
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX 
@INPROCEEDINGS{FITPUB9114,
   author = "Bohuslav K\v{r}ena and Zden\v{e}k Letko and Yarden Nir-Buchbinder and Rachel Tzoref-Brill and Shmuel Ur and Tom\'{a}\v{s} Vojnar",
   title = "A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing",
   pages = "101--114",
   booktitle = "Runtime Verification",
   series = "Lecture Notes in Computer Science, Volume 5779/2009",
   year = 2009,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-04693-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9114"
}
Nahoru