Detail produktu

Java Race Detector & Healer

Vznik: 2007

Název česky
Nástroj pro detekci a opravu časově závislých chyb v Javě
Typ
software
Licence
vyžadována - zdarma
Autoři
Letko Zdeněk, Ing. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Popis

Java Race Detector & Healer je počítačový software vytvořený v programovacím jazyce Java. Prostřednictvím nástroje IBM ConTest monitoruje uživatelskou aplikaci a detekuje časově závislé chyby. Pro některé typy časově závislých chyb je schopen automaticky vložit do běhu uživatelské aplikace synchronizační prostředky, které zabrání opakování 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/

Licence

Licenční podmínky pro užití nástroje jsou dosupné na URL nástroje: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

Projekty
Výzkumné skupiny
Pracoviště
Nahoru