A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU86227" target="_blank" >RIV/00216305:26230/09:PU86227 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

Original language description

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called <i>plug-ins</i> in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detectionof common concurrent bugs are presented-the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Advanced Formal Approaches in the Design and Verification of Computer-Based Systems</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2009

Confidentiality

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

Article name in the collection

Runtime Verification

ISBN

978-3-642-04693-3

ISSN

—

e-ISSN

—

Number of pages

14

Pages from-to

—

Publisher name

Springer Verlag

Place of publication

Berlin

Event location

Grenoble

Event date

Jun 25, 2009

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—