This repository contains the history of variability models of solettaproject. We aquired the history of variability models by analyzing every commit in the time from 2015-06-26 to 2017-03-09. 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.
010_models UNDER CONSTRUCTION
Variability models of Soletta 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.
Analysis results of calculating the similarity between samples.
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. Solettaproject itself is licensed under the Apache 2.0 license which we also provide in this repository.
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 [t.pett@tu-braunschweig.de].