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
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Autoři
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Klíčová slova

Atomicity Violation, Data Races, Detector, Healer, Java

Popis

Java Race Detector & Healerje 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 adetekuje porušení atomicity i časově závislé chyby. Pro některé typy chybje schopen automaticky vložit do běhu uživatelské aplikacesynchronizační prostředky, které zabrání projevu této chyby.  Prosvů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/

Licenční podmínky

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, GAČR, Postdoktorandské granty, GP102/06/P076, zahájení: 2006-01-01, ukončení: 2008-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru