The Kconfig Variability Framework as a Feature Model: Sampled Configurations for Manual Evaluation

This dataset contains plain text files with sampled solutions used during the manual evaluation of the transformation rules presented in https://doi.org/10.5445/IR/1000162110. To reproduce the manual evaluation process yourself, please copy over the respective Kconfig files in a local copy of the Linux kernel Git repository and run `make menuconfig`. You need to insert an invisible `MODULES` configuration symbol to ensure that tristate configuration symbols are handled correctly by Kconfig. Additionally, you need to remove the default Linux Kconfig file and rename the Kconfig file for which you want to reproduce the evaluation process accordingly (simply remove the number prefix).
Configurations marked with KCONFIG_NONSOLUTION cannot be reconstructed in `menuconfig`, wherein configurations marked with KCONFIG_SOLUTION should be reproducable in the `menuconfig` interface.
We additionally provide the generated feature models for the 9 selected Kconfig files, alongside with the Kconfig files themselves. Kconfig{1,2,3,4,5} can be automatically evaluated with Kfeature, as they contain no tristate confsyms.
The upstream version of Kfeature can be found on Codeberg: https://codeberg.org/6b6279/Kfeature

本数据集包含用于对https://doi.org/10.5445/IR/1000162110所提出的转换规则进行人工评估时所采样得到的求解方案的纯文本文件。若需自行复现该人工评估流程，请将对应的Kconfig文件复制至本地克隆的Linux内核Git仓库中，并执行`make menuconfig`命令。您需插入一个不可见的`MODULES`配置符号，以确保Kconfig能够正确处理三态配置符号（tristate configuration symbols）。此外，您需移除默认的Linux Kconfig文件，并将待复现评估流程的Kconfig文件相应重命名（仅需移除其数字前缀即可）。标注为KCONFIG_NONSOLUTION的配置方案无法在`menuconfig`中复现，而标注为KCONFIG_SOLUTION的配置方案则可在`menuconfig`界面中复现。我们额外提供了针对9个选定Kconfig文件所生成的特征模型，连同其原始Kconfig文件一并发布。其中Kconfig{1,2,3,4,5}未包含任何三态配置符号，可通过Kfeature进行自动评估。Kfeature的上游版本可在Codeberg平台获取：https://codeberg.org/6b6279/Kfeature