Publication Details

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

LETKO, Z.; VOJNAR, T.; KŘENA, B.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. FIT-TR-2009-01, Brno: 2009. p. 0-0.
Czech title
Nástroj pro testování souběžnosti a jeho plug-iny pro dynamickou analýzu a léčení
Type
report
Language
English
Authors
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)
Nir-Buchbinder Yarden
Tzoref Rachel
Ur Shmuel
URL
Keywords

testing, analysis, concurrency, healing, Java

Abstract

This report presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-ins in this report) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented---the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this report is designed for hiding bugs that  made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins.

Published
2009
Pages
15
Place
FIT-TR-2009-01, Brno
BibTeX 
@techreport{BUT192676,
  author="Zdeněk {Letko} and Tomáš {Vojnar} and Bohuslav {Křena} 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",
  year="2009",
  address="FIT-TR-2009-01, Brno",
  pages="15",
  url="http://www.fit.vutbr.cz/~iletko/pub/FIT-TR-2009-01.pdf"
}
Back to top