PUNGA

PUNGA - Empirische Grundlagenforschung zum Programmverstehen

Software wird oft als eine Menge verwandter Produkte auf Basis einer gemeinsamen Infrastruktur entwickelt, d.h. als Produktlinie. Eine wesentliche Herausforderung der Produktlinienentwicklung ist es, die kontinuierliche Evolution zu unterstützen, da zum einen alle Produkte eng miteinander verknüpft sind und zum anderen die Lebensdauer der Produktlinie länger ist als die jedes einzelnen abgeleiteten Produkts. In diesem Projekt studieren wir langlebige Produktlinien und ihre kontinuierliche Evolution mit einem besonderen Fokus auf eingebettete Systemen und hier insbesondere Industrieautomatisierungssysteme. In diesen Domänen wird Variabilität oft statisch mit Hilfe von Präprozessordirektiven umgesetzt oder dynamisch durch das Setzen von Konfigurationsvariablen während der Initialisierung oder später zur Laufzeit. Trotz ihrer Bedeutung sind diese Techniken noch immer ungenügend erforscht. Wir werden Techniken entwickeln, um die Integrität der Produktlinie zu überprüfen, wann immer sie während ihrer Evolution verändert wird. Das heißt, im Gegensatz zu den meisten anderen Arbeiten zur Analyse von Produktlinien, wird der Fokus nicht auf einer einzelnen Version der Produktlinie liegen, sondern auf der Differenz zwischen Versionen, die durch eine Änderung entsteht. In diesem Projekt werden Techniken des Reverse Engineering, der Programmanalyse sowie der formalen Produktlinienanalyse kombiniert, um das Entstehen von Problemen während evolutionärer Weiterentwicklung zu erkennen. Diese Probleme entstehen oft durch unbeabsichtigte Seiteneffekte bei der Evolution eines Features. Das Projekt wird einen umfassenden Ansatz nutzen und Änderungen berücksichtigen, die sich auf das Variabilitätsmodell, die Implementierung oder beide zugleich beziehen.

Projektwebseite: PUNGA Project

Förderer: DFG