Artikel in Tagungsband INPROC-2010-58

Bibliograph.
Daten		Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun: RaceVis: Ein Werkzeug zur Visualisierung von Data Races.
In: 12. Workshop Software-Reengineering, Bad Honnef, 03. -05. Mai 2010, Softwaretechnik Trends, Band 30, Heft 2.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
Softwaretechnik-Trends, S. 82-83, deutsch.
GI, Mai 2010.
ISSN: 0720-8928.
Artikel in Tagungsband (Workshop-Beitrag).
KörperschaftGI
CR-Klassif.D.1.3 (Concurrent Programming)
KeywordsSoftware Reengineering; Nebenläufige Programme; Statische Analyse
Kurzfassung

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.

Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Projekt(e)Bauhaus
Eingabedatum30. Juni 2010
   Publ. Institut   Publ. Informatik