Kfeature_Source_Kconfig可变性框架特征模型人工评估采样配置数据

数据集概述

本数据集包含用于人工评估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可变性框架的设计逻辑
packageimg

数据与资源

附加信息

字段
作者 Maxj
版本 1
数据集大小 0.03 MiB
最后更新 2026年1月18日
创建于 2026年1月18日
声明 当前数据集部分源数据来源于公开互联网,如果有侵权,请24小时联系删除(400-600-6816)。