IT-Trends 2013

Multicore-Softwarefehler im Visier: Automatische Fehlererkennung in Entwürfen paralleler Programme

OBJEKTspektrum - Ausgabe 01/2013
Titelthema: IT-Trends 2013

Leseprobe: Wie scheibt man parallele Programme, ohne dabei Wettlauf-Situationen einzubauen? Solche Fehler sind beim Testen schwer zu finden und treiben die Entwicklungskosten hoch. Dieser Artikel beschreibt ein neues Verfahren aus der Forschung, um Nebenläufigkeitsfehler möglichst frühzeitig und automatisch zu erkennen. Das Verfahren erzeugt aus UML Entwurfsdiagrammen eine formale Spezifikation der parallelen Struktur der Software und erkennt darin typische Fehlermuster. Der Ansatz hilft dem Entwickler in der Praxis, Nebenläufigkeitsfehler zu vermeiden, noch bevor sie zu Code werden.

Autor(en): Oliver Denninger, Frank Padberg

Artikeljahresübersichten OBJEKTspektrum 2013

Print-Ausgabe kaufen und weiterlesen Hier lesen Als PDF herunterladen