| Werkzeuggestützte Ableitung Boolescher Modelle auf Grundlage existierender Variabilitätsmodelle. Eine Betrachtung Contributor(s): Gerling, Lea Kristin (Author) |
|
 |
ISBN: 3668255504 ISBN-13: 9783668255500 Publisher: Grin Verlag OUR PRICE: $40.76 Product Type: Paperback Language: German Published: July 2016 |
| Additional Information |
| BISAC Categories: - Computers | Internet - General |
| Physical Information: 0.1" H x 5.83" W x 8.27" (0.14 lbs) 40 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Studienarbeit aus dem Jahr 2015 im Fachbereich Informatik - Internet, neue Technologien, Universit t Hildesheim (Stiftung), Sprache: Deutsch, Abstract: Es existieren verschiedene Werkzeuge und Algorithmen, die Variabilit tsmodelle in aussagenlogische Formeln bersetzen k nnen. Diese Formeln k nnen dann mithilfe von SAT-Solvern auf ihre Erf llbarkeit berpr ft werden. Als Anwendungsbeispiel dient das Variabilit tsmodell 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 bersetzen. Der Vergleich basiert dabei auf der vorhandenen Literatur. Dabei wird insbesondere darauf eingegangen, ob die erstellten bersetzungen berhaupt korrekt sind, ob redundante Daten erzeugt werden und wie die Werkzeuge und Algorithmen mit nicht-Boolesche Elemente umgehen. |
