Java Race Detector & Healer
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APR23014" target="_blank" >RIV/00216305:26230/07:PR23014 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Java Race Detector & Healer
Original language description
The Java Race Detector & Healer is a prototype for a runtime detection and healing of low level data races in concurrent Java programs. The tool uses the IBM ConTest listeners architecture for tracking the program behaviour and analysing it.
Czech name
Nástroj pro detekci a opravu časově závislých chyb v Javě
Czech description
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 automatickyvlož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.
Classification
Type
X - Unclassified
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů