Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Letko Zdeněk, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Nir-Buchbinder Yarden
Tzoref Rachel
Ur Shmuel
Abstrakt

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-insin this paper) are implemented through the listener architecture ofConTest. Two plug-ins for runtime detection of common concurrent bugsare presented-the first (Eraser+) is able to detect data races whilethe second (AtomRace) is able to detect not only data races but alsomore general bugs caused by violation of atomicity presumptions. Athird plug-in presented in this paper is designed to hide bugs thatmade it into the field so that when problems are detected they can becircumvented. Several experiments demonstrate the capabilities of theseplug-ins.

Klíčová slova

concurrent software, dynamic analysis, healing, Java

URL
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)
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/"
}
Soubory
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru