Detail produktu

Java Atomicity Violation Detector & Healer

Vznik: 2008

Název česky
Nástroj pro detekci a opravu chyb v atomicitě programů
Typ
software
Licence
vyžadována - zdarma
Autoři
Letko Zdeněk, Ing., Ph.D. (UITS 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. 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/

Licence

Licenční podmínky pro užití nástroje jsou dosupné na URL nástroje:

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)
Nahoru