Lüdemann | Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor | Buch | 978-3-8325-4742-4 | sack.de

Buch, Deutsch, 286 Seiten, PB, Format (B × H): 170 mm x 240 mm

Lüdemann

Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor


Erscheinungsjahr 2018
ISBN: 978-3-8325-4742-4
Verlag: Logos

Buch, Deutsch, 286 Seiten, PB, Format (B × H): 170 mm x 240 mm

ISBN: 978-3-8325-4742-4
Verlag: Logos

Statische Quelltextanalyse unterstützt Programmierer in vielen Bereichen ihrer Arbeit. Kommt jedoch der Präprozessor der Programmiersprache C zum Einsatz, so stößt die statische Analyse schnell an ihre Grenzen. Eine Betrachtung aller Varianten nach dem Präprozessordurchlauf scheitert meist an der kombinatorischen Explosion durch die vielen Konfigurationspunkte einer Software-Produktlinie, wie dem Linux-Kernel, deren Variabilität durch den Präprozessor bereitgestellt wird. In diesem Werk wird sich der Herausforderung angenommen, jegliche Formen des Einsatzes des Präprozessors zu berücksichtigen, während die vollständige Variabilität präserviert wird. Dazu wird ein Verfahren vorgestellt, mit dem der Kontrollfluss von Quelltext berechnet werden kann, ohne dass jede Variante einzeln betrachtet werden muss. Außerdem wird die formale Begriffsanalyse verwendet, um den Linux-Kernel zu untersuchen. Mit dieser Form der statischen Analyse werden verborgene Zusammenhänge zwischen Präprozessorvariablen sichtbar.

Lüdemann Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor jetzt bestellen!

Autoren/Hrsg.

Lüdemann, Dierk

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.