Článek ve sborníku konference

 
Letko, Z.: Dynamic Detection and Healing of Low Level Data Races., In: Proceedings of the 13th Conference STUDENT EEICT 2007, Brno, CZ, VUT v Brně, 2007, s. 257-259, ISBN 978-80-214-3408-0
Jazyk publikace:angličtina
Název publikace:Dynamic Detection and Healing of Low Level Data Races.
Název (cs):Dynamická detekce a léčení nízkoúrovňových časově závislých chyb v prostředí Java
Strany:257-259
Sborník:Proceedings of the 13th Conference STUDENT EEICT 2007
Konference:Student EEICT 2007
Řada knih:Volume 2
Místo vydání:Brno, CZ
Rok:2007
ISBN:978-80-214-3408-0
Vydavatel:Vysoké učení technické v Brně
Klíčová slova
data race, dynamic, software testing, formal verification, Java, healing
Anotace
Č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í.
BibTeX:
@INPROCEEDINGS{
   author = {Zdeněk Letko},
   title = {Dynamic Detection and Healing of Low Level Data Races.},
   pages = {257--259},
   booktitle = {Proceedings of the 13th Conference STUDENT EEICT 2007},
   series = {Volume 2},
   year = {2007},
   location = {Brno, CZ},
   publisher = {Brno University of Technology},
   ISBN = {978-80-214-3408-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8537}
}