Konferenzbeitrag
Analysestrategien für konfigurierbare Systeme
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2017
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Ausgezeichnete Informatikdissertationen 2016
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Viele moderne Softwaresysteme, wie z.B. Linux, lassen sich mit Tausenden von Konfigurationsoptionen anpassen. Mit Hilfe dieser Optionen kann eine oft astronomisch große Anzahl unterschiedlicher Systemvarianten hergestellt werden. Diese Variantenvielfalt bringt enorme Herausforderungen hinsichtlich der Korrektheit der Systemvarianten mit sich. In dieser Arbeit entwickeln und untersuchen wir Techniken zur Analyse von variantenreichen Systemen. Insbesondere vergleichen wir drei Ansätze zum Design solcher Analysen konzeptionell und praktisch (z.B. hinsichtlich ihrer Laufzeit und der Vollständigkeit ihrer Ergebnisse).