The Kconfig Variability Framework as a Feature Model: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
K (Dr4528 verschob die Seite The KConfig Variability Framework as a Feature Model nach The Kconfig Variability Framework as a Feature Model: Schreibweise Kconfig korrigiert) |
(kein Unterschied)
|
Aktuelle Version vom 23. März 2023, 17:31 Uhr
Vortragende(r) | Kaan Berk Yaman | |
---|---|---|
Vortragstyp | Bachelorarbeit | |
Betreuer(in) | Christopher Gerking | |
Termin | Fr 31. März 2023 | |
Vortragsmodus | in Präsenz | |
Kurzfassung | The Kconfig variability framework is used to develop highly variable software such as the Linux kernel, ZephyrOS and NuttX. Kconfig allows developers to break down their software in modules and define the dependencies between these modules, so that when a concrete configuration is created, the semantic dependencies between the selected modules are fulfilled, ensuring that the resulting software product can function. Kconfig has often been described as a tool of define software product lines (SPLs), which often occur within the context of feature-oriented programming (FOP). In this paper, we introduce methods to transform Kconfig files into feature models so that the semantics of the model defined in a Kconfig file are preserved. The resulting feature models can be viewed with FeatureIDE, which allows the further analysis of the Kconfig file, such as the detection of redundant dependencies and cyclic dependencies. |