Werkzeuggestützte Ableitung Boolescher Modelle auf Grundlage existierender Variabilitätsmodelle. Eine Betrachtung

ISBN-13: 9783668255500 / Niemiecki / Miękka / 2016 / 40 str.

Lea Kristin Gerling

Opis

Studienarbeit aus dem Jahr 2015 im Fachbereich Informatik - Internet, neue Technologien, Universitat Hildesheim (Stiftung), Sprache: Deutsch, Abstract: Es existieren verschiedene Werkzeuge und Algorithmen, die Variabilitatsmodelle in aussagenlogische Formeln ubersetzen konnen. Diese Formeln konnen dann mithilfe von SAT-Solvern auf ihre Erfullbarkeit uberpruft werden. Als Anwendungsbeispiel dient das Variabilitatsmodell des Linux Kernels, das durch Verwendung von KConfig Dateien definiert und konfiguriert werden kann. Diese Arbeit vergleicht die vorhandenen Werkzeuge und Algorithmen, die KConfig-Modelle in das DIMACS oder CNF Format ubersetzen. Der Vergleich basiert dabei auf der vorhandenen Literatur. Dabei wird insbesondere darauf eingegangen, ob die erstellten Ubersetzungen uberhaupt korrekt sind, ob redundante Daten erzeugt werden und wie die Werkzeuge und Algorithmen mit nicht-Boolesche Elemente umgehen.