Detail publikace

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

KŘENA, B.; LETKO, Z.; VOJNAR, T.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S. A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. Runtime Verification. Lecture Notes in Computer Science, Volume 5779/2009. Berlin: Springer Verlag, 2009. p. 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
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Nir-Buchbinder Yarden
Tzoref Rachel
Ur Shmuel
URL
Klíčová slova

concurrent software, dynamic analysis, healing, Java

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
ISBN
978-3-642-04693-3
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT30854,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar} and Yarden {Nir-Buchbinder} and Rachel {Tzoref} and Shmuel {Ur}",
  title="A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing",
  booktitle="Runtime Verification",
  year="2009",
  series="Lecture Notes in Computer Science, Volume 5779/2009",
  pages="101--114",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-642-04693-3",
  url="https://www.fit.vut.cz/research/publication/9114/"
}
Nahoru