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.
Salesforce forciert den Ausbau seiner Industry Clouds. Mit ihrem Prozesswissen könnten deutsche IT-Dienstleister davon profitieren.
Bisher unbekannter Bedrohungsakteur versucht über gefälschte IP Scanner Software-Domänen Zugriff auf IT-Umgebungen zu erlangen.
Der Bericht zeigt bereits nutzbare Angriffsanwendungen und bewertet die Risiken, die davon ausgehen.
Deutsche sehen Finanzwesen und IT im Zentrum der KI-Transformation. Justiz und Militär hingegen werden deutlich…
Cubbit ist das weltweit erste Unternehmen, das Cloud-Objektspeicher anbietet. Es wurde 2016 gegründet und bedient…
Unbefugte können Schadcode einschleusen und ausführen. Auslöser ist eine fehlerhafte Implementierung einer Android-Funktion.