数据集概述
本数据集是用于分析特征模型语义差异的工具包，包含代码、测试脚本、评估数据及文档。核心基于命题逻辑和QSAT形式化定义，实现特征模型语义差异的分类与枚举，支持在标准化UVL格式工业模型上的评估。
文件详解
- 核心代码与工具文件：
- 上游仓库代码：来自booleguru、outercount、kissat等仓库的代码，用于特征模型处理与逻辑求解
- 测试与评估脚本：
- quick-test.sh：工具完整性验证脚本，包含booleguru、kissat、outercount、compare.sh的功能测试
- reproduce-table1.sh至reproduce-table4.sh：复现论文表格结果的脚本
- 数据文件：
- test-formula-uvl.uvl、test-formula-dimacs.dimacs：测试用特征模型文件
- bigfiles/目录：包含automotive01.uvl、applet1.uvl等工业级UVL格式特征模型文件
- 文档与配置文件：
- DETAILS.html/DETAILS.org：详细使用说明文档
- Dockerfile：容器化部署配置文件
- fmdiff-container.tar.zst：预构建容器镜像文件
- bin-linux-amd64/目录：x64 Linux平台编译后的二进制文件
适用场景
- 软件产品线研究：分析特征模型迭代中的语义差异
- 形式化方法应用：验证SAT/QSAT在特征模型分析中的效率与可扩展性
- 工业模型评估：基于UVL格式的工业特征模型进行语义差异检测
- 工具链开发：为特征模型语义分析工具提供实现参考与基准测试
