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

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

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

Ausgabe OBJEKTspektrum 01/2013

Artikeljahresübersichten OBJEKTspektrum 2013


Zur aktuellen Ausgabe


Newsletter abonnieren



Empfehlung an diese E-Mail-Adresse senden:


 

 

 

Ihre eigenen Angaben:

 

 

 

 

Diese Seite empfehlen Sie weiter: