Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Ausgezeichnete Informatikdissertationen 2015 D-16, 189-198 (2016).

Gesellschaft für Informatik, Bonn
2016


Copyright © Gesellschaft für Informatik, Bonn

Contents

Analyse und Transformation konfigurierbarer Systeme

Jörg Liebig

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.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-975-7


Last changed 09.12.2016 18:43:45