A kconfig translation to logic with one-way validation system

David Fernandez-Amoros; Ruben Heradio; Alexander Egyed; Christoph Mayr-Dorn

doi:10.1145/3336294.3336313

A kconfig translation to logic with one-way validation system

David Fernandez-Amoros, Ruben Heradio, Alexander Egyed, Christoph Mayr-Dorn

Institute of Software Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.

Original language	English
Title of host publication	Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A
Pages	303-308
Number of pages	6
DOIs	https://doi.org/10.1145/3336294.3336313
Publication status	Published - Sept 2019

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Digital Transformation

Access to Document

10.1145/3336294.3336313

Cite this

@inproceedings{e81f8bcfdd47490aa87dde4918e0f976,

title = "A kconfig translation to logic with one-way validation system",

abstract = "Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.",

author = "David Fernandez-Amoros and Ruben Heradio and Alexander Egyed and Christoph Mayr-Dorn",

year = "2019",

month = sep,

doi = "10.1145/3336294.3336313",

language = "English",

pages = "303--308",

booktitle = "Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A",

}

TY - GEN

T1 - A kconfig translation to logic with one-way validation system

AU - Fernandez-Amoros, David

AU - Heradio, Ruben

AU - Egyed, Alexander

AU - Mayr-Dorn, Christoph

PY - 2019/9

Y1 - 2019/9

N2 - Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.

AB - Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.

U2 - 10.1145/3336294.3336313

DO - 10.1145/3336294.3336313

M3 - Conference proceedings

SP - 303

EP - 308

BT - Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A

ER -