可配置软件系统变异性模型中依赖与冲突关系数据集的描述与构建方法

《Scientific Data》：A dataset of strong dependency and conflict graphs generated from Boolean formulas encoding the variability of highly configurable software systems

　　

摘要

变异性模型描述了高度可配置软件系统的配置选项及其直接约束。这些约束间接引发的依赖和冲突隐藏在模型中，难以进行人工检查，使得对 Linux 内核等超大规模系统进行分析变得困难重重。本数据描述文档记录了一个包含 5,709 条记录的数据集，该数据集将这些间接关系显式地呈现出来。每条记录包含两个基于布尔公式的图，该公式代表了某个可配置系统的变异性模型：一个强依赖图和一个强冲突图。我们使用公开可用的布尔公式（由其他研究人员从变异性模型中构建并以下开源许可方式共享），通过自研工具——一个运行两种基于逐步可满足性求解算法的 C++ 程序——创建了每条记录。所生成的图涵盖从 99 到 35,907 个选项不等，中位数为 2,874。数据集以 Pajek NET 格式提供，附有清晰的文档说明，并随附输入公式以及构建和验证图的代码。该数据集有助于测试配置和采样方法，并支持冲突检测、影响分析和自动推理方面的研究。