Logo des Repositoriums
 
Textdokument

Analyse und Transformation konfigurierbarer Systeme

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Zusatzinformation

Datum

2015

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik

Zusammenfassung

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.

Beschreibung

Liebig, Jörg (2015): Analyse und Transformation konfigurierbarer Systeme. Ausgezeichnete Informatikdissertationen 2015. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-975-7. pp. 189-198

Schlagwörter

Zitierform

DOI

Tags