The Kconfig Variability Framework as a Feature Model

Zur einfachen Handhabung von Softwarevariabilität werden oft externe Werkzeuge eingesetzt. Ein solches Werkzeug ist Kconfig, welches vom Linux-Kernel zur Erstellung von konkreten Softwarekonfigurationen benutzt wird. Kconfig arbeitet mit Textdateien, in denen die Variabilitätsstruktur des zugehörigen Softwareprojekts definiert wird. Diese Dateien werden oft als Kconfig-Dateien bezeichnet. Kconfig-Dateien können analysiert werden, um Probleme in der Variabilitätsstruktur festzustellen. Feature-orientierte Programmierung (FOP) wird auch zur besseren Handhabung von Softwarevariabilität eingesetzt. ... mehrDie Variabilitätsstruktur eines Softwareprojekts wird im Umfang von FOP in einem sogenannten Feature-Modell dargestellt. Es gibt Werkzeuge, welche zur Analyse von Feature-Modellen verwendet werden können. Diese kann man jedoch nicht zur Analyse von Kconfig-Dateien nutzen, da bisher eine Transformation zwischen Kconfig-Dateien und Feature-Modellen fehlt. In dieser Arbeit stellen wir eine Methodik zur korrekten Transformation von Kconfig-Dateien in Feature-Modelle vor, sodass Werkzeuge zur Feature-Modell-Analyse auch auf Kconfig-Dateien angewandt werden können. Wir evaluieren die Korrektheit unserer Transformation mit automatischen und manuellen Vorgehen. Unsere Methodik kann ausgewählte Kconfig-Dateien mit nichttrivialer Struktur erfolgreich in semantisch äquivalente Feature-Modelle überführen.

Variability in software is often managed using external tools. One such tool is Kconfig, which is utilised by the Linux kernel, a highly variable software project. Kconfig works with plain-text files that define the variability structure of the underlying software project. These plain-text files are called Kconfig files. Analysis of Kconfig files can provide meaningful insights for developers. Feature-oriented programming (FOP) is also used to manage variability in software. The variability structure of a software project is defined using feature models in FOP. There are tools for analysing feature models. ... mehrHowever, it is not possible to use these tools for the analysis of Kconfig files, as currently no transformation between Kconfig files and feature models exist. In this thesis, we present a method to correctly transform Kconfig files into feature models, so that Kconfig files can be analysed with tools meant for feature models. We verify the correctness of our transformation by automatic and manual means. Our method transforms selected Kconfig files with non-trivial structure successfully into semantically equivalent feature models.