Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'.
Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.

Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     

Reverse Engineering Code Dependencies: Converting Integer-Based Variability to Propositional Logic (Beitrag zu einer Tagung / Konferenz) - Einzelansicht


  • Funktionen:

Grunddaten

Titel der Arbeit (title) Reverse Engineering Code Dependencies: Converting Integer-Based Variability to Propositional Logic
Erscheinungsjahr 2018
Verlag (publisher) ACM
Buchtitel (booktitle) Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC'18)
Seitenzahl (pages) 34-41
Band (volume) 2
Publikationsart Beitrag zu einer Tagung / Konferenz
Digital Object Identifier (DOI) 10.1145/3236405.3237202
Inhalt
Abstract

A number of SAT-based analysis concepts and tools for software product lines exist, that extract code dependencies in propositional logic from the source code assets of the product line. On these extracted conditions, SAT-solvers are used to reason about the variability. However, in practice, a lot of software product lines use integer-based variability. The variability variables hold integer values, and integer operators are used in the conditions. Most existing analysis tools can not handle this kind of variability; they expect pure Boolean conditions.

This paper introduces an approach to convert integer-based variability conditions to propositional logic. Running this approach as a preparation on an integer-based product line allows the existing SAT-based analyses to work without any modiications. The pure Boolean formulas, that our approach builds as a replacement for the integer-based conditions, are mostly equivalent to the original conditions with respect to satisfiability. Our approach was motivated by and implemented in the context of a real-world industrial case-study, where such a preparation was necessary to analyze the variability.

Our contribution is an approach to convert conditions, that use integer variables, into propositional formulas, to enable easy usage of SAT-solvers on the result. It works well on restricted variables (i.e. variables with a small range of allowed values); unrestricted integer variables are handled less exact, but still retain useful variability information.


Zugeordnete Projekte

Round-Trip Engineering und Variabilitätsmanagement - Plattform und Prozess

Beteiligte Personen

Krafczyk, Adam  M.Sc.  
El-Sharkawy, Sascha  M.Sc.  
Schmid, Klaus, Professor Dr. rer. nat.  

Einrichtungen

Abt. Software Systems Engineering
Inst. für Informatik

Schlüsselwörter

Projekt REVaMP²

Externe Dokumente

Name Dateiname
Paper KrafczykEl-SharkawySchmid18.pdf
Impressum      Datenschutzerklärung     Datenschutz      Datenschutzerklärung     Erklärung zur Barrierefreiheit