Ing. Zdeněk Letko, Ph.D.

Nástroj pro detekci a opravu časově závislých chyb v Javě

Autoři:Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
Typ:software
Vznik:2007
Licence:vyžadována - zdarma
Klíčová slova:Data Races, Detector, Healer, Java
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/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
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/

Vaše IPv4 adresa: 34.201.121.213