Nástroj pro detekci a opravu chyb v atomicitě programů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APR23747" target="_blank" >RIV/00216305:26230/08:PR23747 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216305:26230/08:PR27630

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Java Atomicity Violation Detector & Healer

Popis výsledku v původním jazyce

The Java Race Detector & Healer is a prototype for a runtime detection and healing of atomicity violations and data races in concurrent Java programs. The tool uses static analyser FindBugs to detect common atomicity patterns in the code. Then, the IBM ConTest listeners architecture for tracking the program behaviour is used to find violations and heal them at runtime.

Název v anglickém jazyce

Java Atomicity Violation Detector & Healer

Popis výsledku anglicky

The Java Race Detector & Healer is a prototype for a runtime detection and healing of atomicity violations and data races in concurrent Java programs. The tool uses static analyser FindBugs to detect common atomicity patterns in the code. Then, the IBM ConTest listeners architecture for tracking the program behaviour is used to find violations and heal them at runtime.

Druh

R - Software

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

JRDH-AT

Technické parametry

- Implementován v programovacím jazyce Java. - Detekuje a opravuje problémy s atomicitou operací a časově závislé chyby. - Vyžaduje prostředí Java 5 a nástroj IBM ConTest.

Ekonomické parametry

—

IČO vlastníka výsledku

00216305

Název vlastníka

Vysoké učení technické v Brně