Logo des Repositoriums
 

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

dc.contributor.authorKuiter, Elias
dc.contributor.authorKrieter, Sebastian
dc.contributor.authorSundermann, Chico
dc.contributor.authorThüm, Thomas
dc.contributor.authorSaake, Gunter
dc.contributor.editorEngels, Gregor
dc.contributor.editorHebig, Regina
dc.contributor.editorTichy, Matthias
dc.date.accessioned2023-01-18T13:38:45Z
dc.date.available2023-01-18T13:38:45Z
dc.date.issued2023
dc.description.abstractThis work was published at the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2022 [Ku22]. Feature modeling is widely used to systematically model features of variant-rich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated analyses across all phases of the software development process become possible. Most solvers only accept formulas in conjunctive normal form (CNF), so an additional transformation of feature models is often necessary. However, it is unclear whether this transformation has a noticeable impact on analyses. We compare three transformations for bringing feature-model formulas into CNF. We analyze which transformation can be used to correctly perform feature-model analyses and evaluate three CNF transformation tools on a corpus of 22 real-world feature models. Our empirical evaluation illustrates that some CNF transformations do not scale to complex feature models or even lead to wrong results for model-counting analyses. Further, the choice of the CNF transformation can substantially influence the performance of subsequent analyses.en
dc.identifier.isbn978-3-88579-726-5
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/40094
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering 2023
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-332
dc.subjectFeature Modeling
dc.subjectAutomated Reasoning
dc.subjectConjunctive Normal Form
dc.titleTseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analysesen
dc.typeText/Conference Paper
gi.citation.endPage84
gi.citation.publisherPlaceBonn
gi.citation.startPage83
gi.conference.date20.–24. Februar 2023
gi.conference.locationPaderborn
gi.conference.sessiontitleWissenschaftliches Hauptprogramm

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
paper28.pdf
Größe:
185.16 KB
Format:
Adobe Portable Document Format