This repository contains the history of variability models fiasco. We aquired the history of variability models by analyzing every commit in the time from 2017-09-26 to 2020-12-01. In addition this repository contains our results of analyzing the variability of the contained model history.
This directory contains the following utility scripts to ease the use of the provided data.
Bundles all data contained in the 010_models directory into *.tar.gz archives. All existing archives will be deleted before the compressing process.
Bundles all data contained in the 020_samples directory into *.tar.gz archives. All existing archives will be deleted before the compressing process.
Extracts all *.tar.gz archives contained in the 010_models directory. All existing model directories will be replaced.
Extracts all *.tar.gz archives contained in the 020_samples directory. All existing sample directories will be replaced.
Deletes all model directories contained in 010_models. Archive files will not be deleted. Make sure to bundle changes done to the models before using this script.
Deletes all sample directories contained in 020_samples. Archive files will not be deleted. Make sure to bundle changes done to the samples before using this script.
To use the provided utility scripts follow the instructions bellow:
- Change into the 000_scripts directory.
- Open a terminal in this folder.
- Make sure the script you want to execute is actually executable by typing chmod 777 <./SCRIPTNAME> into the terminal and press enter.
- Execute the script by typing ./ into the terminal and press enter.
Some scripts may need some time to run. Please be patient.
Variability models of BusyBox in DIMACS and FeatureIDE feature model format.
Samples for the feature models contained in 010_models. Samples are calculated by using various sampling algorithms provided by FeatureIDE.
030_sampling_stability under construction
Analysis results of calculating the similarity between samples.
040_configuration_space under construction
Results of analyzing the configuration space of the variability models of BusyBox, contained in 010_models. The analysis is done by using the following sharpSAT solvers:
The source code in this repository is licensed under the GNU General Public License v3.0. The data files contained in this repository are licensed under the CC-BY-4.0. You are free to use, share, and adapt the data and source code in this repository as long as you give appropriate credit to the data owner. fiasco was originally published under the GPL v2.1.
This repository is under constant development and changes frequently. If you encounter any challenges using the content or identify missing or broken content, please reach out to us via e-mail at [[email protected]].