Detail publikace

Dynamic Detection and Healing of Low Level Data Races.

LETKO, Z. Dynamic Detection and Healing of Low Level Data Races. In Proceedings of the 13th Conference STUDENT EEICT 2007. Volume 2. Brno: Brno University of Technology, 2007. p. 257-259. ISBN: 978-80-214-3408-0.
Název česky
Dynamická detekce a léčení nízkoúrovňových časově závislých chyb v prostředí Java
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Klíčová slova

data race, dynamic, software testing, formal verification, Java, healing

Abstrakt

Časově závislé chyby jsou častým úkazem ve vícevláknových programech. Tento článek popisuje nástroj, který je schopen detekovat a léčit nízkoúrovňové časově závislé chyby v Java programech za běhu. Nástroj využívá software pro testování vícevláknových programů ConTest od firmy IBM. Detekce využívá modifikovaný algoritmus Eraser a implementuje dvě různé techniky léčení.

Rok
2007
Strany
257–259
Sborník
Proceedings of the 13th Conference STUDENT EEICT 2007
Řada
Volume 2
Konference
Student EEICT 2007, Brno, CZ
ISBN
978-80-214-3408-0
Vydavatel
Brno University of Technology
Místo
Brno
BibTeX 
@inproceedings{BUT25911,
  author="Zdeněk {Letko}",
  title="Dynamic Detection and Healing of Low Level Data Races.",
  booktitle="Proceedings of the 13th Conference STUDENT EEICT 2007",
  year="2007",
  series="Volume 2",
  pages="257--259",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3408-0"
}
Nahoru