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

Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor von Lüdemann,  Dierk
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.
Aktualisiert: 2023-05-15
> findR *

Einführung in die Softwareentwicklung mit C

Einführung in die Softwareentwicklung mit C von Duschl,  Dieter
Durch das Projektkonzept von Aufgaben und Beispielen kann der Leser sofort nach dem Download von der Springerseite die Programme, ohne eine Zeile Code zu editieren, ausprobieren. Und er wird die gleichen Ergebnisse sehen, wie sie in den Abbildungen des Buches zu finden. Dadurch ist ein sehr einfacher Zugang zur Sprache möglich, denn nahezu jede Codezeile des Buches wird erläutert.Es wird ebenfalls erklärt, wie man Software-Projekte anlegt, sie pflegt und verwaltet. Oberstes Prinzip des Buches aber bleibt die Einfachheit; alles ist verständlich dargestellt und kann sofort mit Hilfe des Visual Studio Express, das kostenfrei bezogen werden kann, verifiziert werden. Somit können Leser, die zukünftig professionelle Software entwickeln wollen, dieses Buch ebenso nutzen, wie Laien, die sich einen schnellen, einfachen Überblick über die Sprache C verschaffen wollen. Neben dem einfachen Sprachzugang zu C bietet das Buch noch folgende Features, die sich ohne weitere Aufwände des Lesers von selbst erschließen:·         Umgang mit einer modernen Entwicklungsumgebung, deren Grundkonzepte in vielen anderen modernen Umgebungen reflektiert sind.·         Umgang mit dem Debugger der Entwicklungsumgebung und Verstehen des Sinns von Debuggen der eigenen Software.·         Einfaches Erstellen der Programme: Laden des Projekfiles; Festlegen von Break-Points (F9); Bauen des Programmes (F7); Starten des Programmes (F5) – fertig; man sieht also mit drei Tasten (F9, F7, F5) sofort ein Resultat.
Aktualisiert: 2023-03-14
> findR *

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

Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor von Lüdemann,  Dierk
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.
Aktualisiert: 2023-04-17
> findR *

Einführung in die Softwareentwicklung mit C

Einführung in die Softwareentwicklung mit C von Duschl,  Dieter
Durch das Projektkonzept von Aufgaben und Beispielen kann der Leser sofort nach dem Download von der Springerseite die Programme, ohne eine Zeile Code zu editieren, ausprobieren. Und er wird die gleichen Ergebnisse sehen, wie sie in den Abbildungen des Buches zu finden. Dadurch ist ein sehr einfacher Zugang zur Sprache möglich, denn nahezu jede Codezeile des Buches wird erläutert.Es wird ebenfalls erklärt, wie man Software-Projekte anlegt, sie pflegt und verwaltet. Oberstes Prinzip des Buches aber bleibt die Einfachheit; alles ist verständlich dargestellt und kann sofort mit Hilfe des Visual Studio Express, das kostenfrei bezogen werden kann, verifiziert werden. Somit können Leser, die zukünftig professionelle Software entwickeln wollen, dieses Buch ebenso nutzen, wie Laien, die sich einen schnellen, einfachen Überblick über die Sprache C verschaffen wollen. Neben dem einfachen Sprachzugang zu C bietet das Buch noch folgende Features, die sich ohne weitere Aufwände des Lesers von selbst erschließen:·         Umgang mit einer modernen Entwicklungsumgebung, deren Grundkonzepte in vielen anderen modernen Umgebungen reflektiert sind.·         Umgang mit dem Debugger der Entwicklungsumgebung und Verstehen des Sinns von Debuggen der eigenen Software.·         Einfaches Erstellen der Programme: Laden des Projekfiles; Festlegen von Break-Points (F9); Bauen des Programmes (F7); Starten des Programmes (F5) – fertig; man sieht also mit drei Tasten (F9, F7, F5) sofort ein Resultat.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN

Bücher zum Thema Präprozessor

Sie suchen ein Buch über Präprozessor? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Präprozessor. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Präprozessor im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Präprozessor einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

Präprozessor - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Präprozessor, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Präprozessor und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.