Logo des Repositoriums
 
Zeitschriftenartikel

RaceVis: Ein Werkzeug zur Visualisierung von Data Races

Vorschaubild

Volltext URI

Dokumententyp

Text/Journal Article

Dateien

27-keul_.pdf (112.42 KB)

Zusatzinformation

Datum

2010

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Softwaretechnik-Trends Band 30, Heft 2
Berichte aus den Fachgruppen und Arbeitskreisen - FG SRE: Bericht und Beiträge des gemeinsamen Workshops Software-Reengineering und Design for Future vom 3. - 5. Mai 2010 in Bad Honnef

Verlag

Geselllschaft für Informatik e.V.

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.

Beschreibung

Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun (2010): RaceVis: Ein Werkzeug zur Visualisierung von Data Races. Softwaretechnik-Trends Band 30, Heft 2. Bonn: Geselllschaft für Informatik e.V.. PISSN: 0720-8928. Berichte aus den Fachgruppen und Arbeitskreisen - FG SRE: Bericht und Beiträge des gemeinsamen Workshops Software-Reengineering und Design for Future vom 3. - 5. Mai 2010 in Bad Honnef

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

Softwaretechnik-Trends 30(2) - 2010