RaceVis: Ein Werkzeug zur Visualisierung von Data Races

Zusammenfassung
Statische Programmanalyse zur Erkennung von Data Races ist ein wichtiges Werkzeug zur Sicherstellung der Korrektheit von nebenläufigen Programmen in Entwicklung und Wartung. Der Einsatz statischer Analyse lässt jedoch eine Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt.
  • Vollständige Referenz
  • BibTeX
Keul, S., Prokharau, M., Gerlach, D., Jenke, C. & Raza, A., (2010). RaceVis: Ein Werkzeug zur Visualisierung von Data Races.   Softwaretechnik-Trends Band 30, Heft 2. Bonn: Geselllschaft für Informatik e.V..
@inproceedings{mci/Keul2010,
author = {Keul, Steffen AND Prokharau, Mikhail AND Gerlach, Daniel AND Jenke, Carola AND Raza, Aoun},
title = {RaceVis: Ein Werkzeug zur Visualisierung von Data Races},
booktitle = {Softwaretechnik-Trends Band 30, Heft 2},
year = {2010},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
27-keul_.pdf112.4Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISSN: 0720-8928
Datum: 2010
Sprache: de (de)
Typ: Journal Articles
Sammlungen

Zur Langanzeige