Ing. Zdeněk Letko, Ph.D.

Nástroj pro detekci a opravu chyb v atomicitě programů

Autoři:Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
Typ:software
Vznik:2008
Licence:vyžadována - zdarma
Klíčová slova:Atomicity Violation, Data Races, Detector, Healer, Java
Popis:
Java Race Detector & Healer je počítačový software vytvořený v programovacím jazyce Java. Využitím nástroje pro statickou analýzu FindBugs detekuje části kódu, které mají být vykonávány atomicky. Prostřednictvím nástroje IBM ConTest následně monitoruje aplikaci a detekuje porušení atomicity i časově závislé chyby. Pro některé typy chyb je schopen automaticky vložit do běhu uživatelské aplikace synchronizační prostředky, které zabrání projevu této chyby.  Pro svůj běh vyžaduje prostředí Java 5 a nástroj IBM ConTest.
Umístění:
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
Licenční podmínky pro užití nástroje jsou dosupné na URL nástroje:

Vaše IPv4 adresa: 18.206.241.26