Softwareverifikation 21.11.2019, 15:57 Uhr

Für qualitativ hochwertige Software

Läuft meine Software korrekt, sicher und zuverlässig? Seit Jahrzehnten nutzen Softwareentwickler verschiedene Ansätze der sogenannten Softwareverifikation, um die Eigenschaften ihrer Programme zu prüfen.
Prof. Dr. Heike Wehrheim und ihr Team wollen die Softwareverifikation verbessern.
(Quelle: Universität Paderborn )
So lässt sich sicherstellen, dass Unternehmen, Behörden und private Nutzer qualitativ hochwertige Software erhalten und Softwarefehler, die fatale Folgen haben können, möglichst ausbleiben. In einem neuen Forschungsprojekt wollen Prof. Dr. Heike Wehrheim und ihr Team vom Fachgebiet »Spezifikation und Modellierung von Softwaresystemen« des Instituts für Informatik der Universität Paderborn die Präzision und Performance bereits existierender Ansätze der Softwareverifikation verbessern. Das dreijährige Projekt „Cooperative Software Verification“ wird von der Deutschen Forschungsgemeinschaft (DFG) gefördert und zusammen mit Prof. Dr. Dirk Beyer und seinen Mitarbeitern vom Software and Computational Systems Lab der Ludwig-Maximilians-Universität München durchgeführt. Die Universität Paderborn erhält 253.800 Euro Fördermittel.
Bereits 1949 entwickelte der Brite Alan Turing, einer der einflussreichsten Theoretiker der frühen Informatik, einen ersten Ansatz der Softwareverifikation, mit dem sich prüfen lässt, ob Computerprogramme korrekt arbeiten. »In den letzten Jahren wurden im Bereich der Softwareverifikation enorme Fortschritte erzielt«, erklärt Heike Wehrheim. »Entwicklern stehen heute viele Ansätze der Softwareverifikation zur Verfügung, die von dynamischer bis zu statischer Analyse reichen und besondere Stärken, aber auch Schwächen haben. Hier setzt unser Forschungsprojekt an, indem es hilft, die bestehenden Ansätze zu verbessern. Das ist vor allem in sicherheitskritischen Bereichen wie eingebetteten Systemen und Systemsoftware notwendig, um die Sicherheit von Software zu garantieren«, führt die Informatikerin aus.



Das könnte Sie auch interessieren