Zeitschriftenartikel

RaceVis: Ein Werkzeug zur Visualisierung von Data Races

Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Datum
2010
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