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

KI-gestütztes Programmieren bringt IT-Herausforderungen mit sich

OutSystems-Studie: 62 Prozent der Befragten haben Sicherheits- und Governance-Bedenken bei Softwareentwicklung mit KI-Unterstützung.

2 Tagen ago

Studie: Ein Drittel aller E-Mails an Unternehmen sind unerwünscht

Der Cybersecurity Report von Hornetsecurity stuft 2,3 Prozent der Inhalte gar als bösartig ein. Die…

5 Tagen ago

HubPhish: Phishing-Kampagne zielt auf europäische Unternehmen

Die Hintermänner haben es auf Zugangsdaten zu Microsoft Azure abgesehen. Die Kampagne ist bis mindestens…

6 Tagen ago

1. Januar 2025: Umstieg auf E-Rechnung im B2B-Geschäftsverkehr

Cloud-Plattform für elektronische Beschaffungsprozesse mit automatisierter Abwicklung elektronischer Rechnungen.

6 Tagen ago

Google schließt schwerwiegende Sicherheitslücken in Chrome 131

Mindestens eine Schwachstelle erlaubt eine Remotecodeausführung. Dem Entdecker zahlt Google eine besonders hohe Belohnung von…

6 Tagen ago

Erreichbarkeit im Weihnachtsurlaub weiterhin hoch

Nur rund die Hälfte schaltet während der Feiertage komplett vom Job ab. Die anderen sind…

7 Tagen ago