Auflistung nach Autor:in "von Rhein, Alexander"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAnalysestrategien für konfigurierbare Systeme(Ausgezeichnete Informatikdissertationen 2016, 2017) von Rhein, AlexanderViele 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).