Java Race Detector & Healer

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

Metody a nástroje pro automatizované odhalování softwarových chyb (GP102/06/P076)
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
SHADOWS - A Self-Healing Approach to Designing Complex Software Systems ()
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)

Výzkumné skupiny

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Pracoviště

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)