IT-Trends 2013

OBJEKTspektrum

Ausgabe 01/2013

Titelthema: IT-Trends 2013

Multicore-Softwarefehler im Visier: Automatische Fehlererkennung in Entwürfen paralleler Programme
Oliver Denninger, Frank Padberg

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.


Newsletter abonnieren



Empfehlung an diese E-Mail-Adresse senden:


 

 

 

Ihre eigenen Angaben:

 

 

 

 

Diese Seite empfehlen Sie weiter: