数据集概述
本数据集包含用于人工评估Kconfig可变性框架转换规则的采样配置文件,以及9个选定Kconfig文件对应的特征模型。数据支持在Linux内核环境中复现人工评估过程,包含标记为可复现或不可复现的配置样本,总计22个文件。
文件详解
- 特征模型文件(Feature Model Files)
- 文件名称:Kconfig1_feature-model.xml、Kconfig2_feature-model.xml等(共9个)
- 文件格式:XML
- 字段映射介绍:对应Kconfig文件生成的特征模型,包含配置符号的结构与关系信息
- Kconfig配置文件(Kconfig Files)
- 文件名称:Kconfig2、Kconfig3、Kconfig4等(共9个)
- 文件格式:无扩展名
- 字段映射介绍:用于评估的原始Kconfig配置文件,需替换Linux内核默认Kconfig文件使用
- 采样配置文件(Sampled Configuration Files)
- 文件名称:Kconfig6.txt、Kconfig7.txt等(共4个)
- 文件格式:TXT
- 字段映射介绍:包含标记为KCONFIG_SOLUTION(可复现)或KCONFIG_NONSOLUTION(不可复现)的配置样本列表
数据来源
论文“https://doi.org/10.5445/IR/1000162110”及Codeberg平台Kfeature项目
适用场景
- 配置框架转换规则评估:验证Kconfig可变性框架转换规则的有效性,分析配置样本的可复现性
- 特征模型质量分析:通过XML特征模型文件研究Kconfig配置的结构合理性与完整性
- Linux内核配置复现:在Linux内核环境中复现人工评估过程,测试不同Kconfig配置的可行性
- 可变性框架优化:基于采样配置的标记结果,优化Kconfig可变性框架的设计逻辑