数据集概述
本数据集包含用于评估ApproxCov和ApproxMaxCov算法及其扩展的基准测试数据，分为二值特征和多值特征两类配置系统约束与样本数据，支持算法性能验证与对比分析。
文件详解
- 文件名称：benchmarks.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包包含三个子文件夹：
- two_values/cnf：二值特征配置系统约束文件，源自Zenodo平台两个数据集的子集
- two_values/samples：二值特征配置样本文件，由baital、quicksampler、waps工具生成
- mult_values：多值特征配置系统的约束与样本文件，基于Garvin等2009年论文的评估材料转换而来
数据来源
meelgroup开源项目（https://github.com/meelgroup/approxcov）
适用场景
- 近似覆盖算法性能评估：用于测试ApproxCov和ApproxMaxCov算法在不同特征类型下的覆盖效率与精度
- 配置系统约束求解研究：分析二值与多值特征配置系统的约束特性对算法性能的影响
- 采样工具效果对比：对比baital、quicksampler、waps工具生成样本的质量与适用性
- 软件配置测试优化：为约束交互测试中的近似覆盖算法应用提供基准验证支持
