Informatiker Andreas Zeller erhält ERC Proof of Concept Grant für Projekt zur KI-gestützten Software

Während KI-gestützte Coding-Assistenten wie GitHub Copilot bereits bei der Code-Erstellung unterstützen, bleibt ein zentrales Problem ungelöst: Rund die Hälfte des Aufwands in der Softwareentwicklung entfällt auf das Verstehen und Warten bestehender Systeme – ein Bereich, in dem gängige KI-Modelle bislang versagen. „Wartung erfordert ein tiefes Verständnis des dynamischen Verhaltens von Software – und genau hier setzen wir an“, erklärt Andreas Zeller.

Im Rahmen seines ERC Advanced Grants, der noch bis 2028 läuft, haben Zeller und sein Team innovative Testverfahren entwickelt, mit denen sich das Verhalten von Programmen systematisch erkunden lässt. Hiermit trainieren sie programmspezifische Machine-Learning-Modelle, die Fragen beantworten können wie: ‚Welche Eingabe löst diese Fehlermeldung aus?‘ oder ‚Welche Konfiguration führt dazu, dass ein bestimmter Button erscheint?‘ „Unsere Modelle haben das gesamte Verhalten eines Programms im Blick – im Gegensatz zu einem Large Language Model wie ChatGPT, das Programmcode nur isoliert betrachten kann“, so Andreas Zeller.

Virtuelle Expertin für reale Systeme

Das mit dem Proof of Concept Grant geförderte Projekt verfolgt nun das Ziel, diesen Ansatz auf komplexe, reale Softwaresysteme zu übertragen. „Unsere bisherigen Forschungsarbeiten belegen die prinzipielle Machbarkeit dieses Ansatzes, waren jedoch auf kleine Beispiele beschränkt“, so Zeller. „Die zentrale Frage ist nun, ob sich diese Ansätze auch auf die Vielzahl von Funktionen skalieren lassen, die bei der Ausführung eines komplexen Programms auftreten.“ Geplant ist die Entwicklung eines Demonstrators: ein KI-Agent, der auf Basis eines umfangreichen Softwareprojekts trainiert wird und anschließend als virtuelle Expertin für das Verhalten dieser Software fungiert – über deren gesamten Lebenszyklus hinweg. „Das Training eines solchen KI-Agenten wird sehr viel Rechenzeit brauchen, ist aber immer noch weit günstiger als ein Mensch, der sich mühsam in ein Programm einarbeiten muss“, meint Zeller.

Proof of Concept: Von der Grundlagenforschung in die Praxis

Die ERC-Förderlinie Proof of Concept richtet sich ausschließlich an Forschende, die bereits einen ERC-Grant erhalten haben. Sie dient nicht der Weiterführung der Grundlagenforschung, sondern fördert Vorhaben, die das gesellschaftliche oder kommerzielle Potenzial wissenschaftlicher Erkenntnisse ausloten. Im Fall von Zeller steht das Ziel im Vordergrund, KI-basierte Werkzeuge für die Softwarewartung zu entwickeln, die langfristig den Alltag von Entwicklerinnen und Entwicklern erleichtern und Unternehmen weltweit Kosten sparen könnten. Dem international renommierten Experten für die automatisierte Softwareanalyse gelingt mit dem Proof of Concept Grant ein wichtiger Schritt in Richtung Anwendung.

Hintergrund zu Andreas Zeller

Andreas Zeller ist CISPA-Faculty und Professor für Softwaretechnik an der Universität des Saarlandes. Seine Forschungsschwerpunkte liegen in der Entwicklung und Analyse komplexer Softwaresysteme. Seine Arbeiten wirken weit ins tägliche Leben hinein. So sind die in Zellers Forschungsgruppe entwickelten Techniken rund um die Uhr im Einsatz, um Web-Browser wie Chrome, Edge, oder Firefox abzusichern oder seltsame Android-Apps frühzeitig zu identifizieren. Andreas Zeller ist ein ACM Fellow und Mitglied in der Academia Europaea. Neben zwei ERC Advanced Grants hat er zahlreiche weitere Auszeichnungen erhalten, darunter einen ACM SIGSOFT Outstanding Research Award und einen ACM SIGSOFT Influential Educator Award.

Weitere Informationen und Quelle: Pressemitteilung des Helmholtz-Zentrums für Informationssicherheit (CISPA)