Forscher erstellt automatisch Beschreibungen von Programmen

Valentin Dallmeier, Mitarbeiter am Lehrstuhl für Softwaretechnik der Universität des Saarlandes, hat ein Verfahren entwickelt, mit dem sich Programme leichter beschreiben lassen. Er erhielt dafür den Ernst-Denert-Preis 2010.

Dallmeiers Verfahren erstellt anhand von Softwaretests automatisch eine genaue Programmbeschreibung – die Spezifikation. Sie gibt ähnlich wie eine Bedienungsanleitung wieder, wie sich die Software in bestimmten Situationen verhält.

Zur Beschreibung nutzen Informatiker Verhaltensmodelle, die sogenannten „endlichen Automaten„. Damit lässt sich untersuchen, wie sich einzelne Aktionen aufeinander auswirken. Insbesondere bei Open-Source-Projekten, an denen viele Entwickler arbeiten, ist das Erstellen der Beschreibungen aufwändig.

Für seine Modelle analysiert Dallmeier Testläufe, mit denen eine Software vor der Freigabe auf Fehler untersucht wird. Dabei entstehen durch die Eingabe von Kennzahlen viele Varianten eines Programms, die dem Informatiker Aufschluss über sein Verhalten geben.

Daraus erstellt Dallmeier eine Spezifikation, anhand derer sich weitere Fehler finden und Programmteile reparieren lassen – teilweise sogar automatisch. Die Beschreibung dient zudem als Grundlage für die Verifikation, ein Qualitätsmerkmal für Software. Damit lässt sich mathematisch beweisen, dass ein Programm seiner Spezifikation entspricht und – zumindest mathematisch – keine Fehler enthält.

ZDNet.de Redaktion

Recent Posts

Apple meldet Rekordumsatz im vierten Fiskalquartal

Die Einnahmen klettern auf fast 95 Milliarden Dollar. Allerdings belastet der Steuerstreit mit der EU…

2 Tagen ago

Microsoft steigert Umsatz und Gewinn im ersten Fiskalquartal

Das stärkste Wachstum verbucht die Cloud-Sparte. Microsoft verpasst bei der Umsatzprognose für das laufende Quartal…

2 Tagen ago

Bezahlkarten: Infineon verspricht weniger Plastikmüll

Ein Coil-on-Module-Package integriert Chip und Antenne, was den Kartenkörper fast vollständig recycelbar machen soll.

3 Tagen ago

Firefox 132 schließt elf Sicherheitslücken

Mindestens eine Anfälligkeit erlaubt das Einschleusen von Schadcode. Außerdem erweitern die Entwickler den Support für…

3 Tagen ago

Telekom nennt Termin für 2G-Ende

Zum 30. Juni 2028 soll das 2G-Netz komplett abgeschaltet werden und den Weg für schnellere…

3 Tagen ago

Alphabet übertrifft die Erwartungen im dritten Quartal

Gewinn und Umsatz legen deutlich zu. Zum Wachstum tragen auch die Sparten Cloud und Abonnements…

3 Tagen ago