Analyse und Transformation konfigurierbarer Systeme

Abstract

Viele Softwaresysteme, wie z.B. das Betriebssystem Linux, stellen zum Teil tausende von Konfigurationsoptionen bereit, mit deren Hilfe eine zum Teil astronomisch große Anzahl unterschiedlicher Varianten (für Linux vom Smartphone bis zum Supercomputer) erstellt werden kann. Die Variantenvielfalt dieser Systeme stellt Softwareentwickler vor enorme Herausforderungen hinsichtlich ihrer Korrektheit, da entsprechende Entwicklungswerkzeuge fehlen. In dieser Arbeit beschreiben wir skalierbare, variabilitätsgewahre Techniken für die Entwicklung von Analyseund Transformationswerkzeugen, die mit der Variantenvielfalt konfigurierbarer Systeme umgehen können. Wir zeigen, dass diese Techniken bestehenden Verfahren hinsichtlich Laufzeit, Aufwand zur Anwendung und Vollständigkeit überlegen sind.