Bøger af Stephan Kleuker

Ein kompakter und praxisorientierter Einstieg, mit dem Studierende bereits fruh im Studium sehr gut zurechtkommen. Die verschiedenen Phasen einer Datenbankentwicklung werden mit ihren Vorgehensweisen, Konzepten und moglichen Problemquellen vorgestellt. Gerade die Anforderungsanalyse und die Moglichkeit zur Erstellung machtiger SQL-Anfragen werden als besonders praxisrelevante Aspekte betont. Studierende sind nach der Lekture in der Lage, in Praxisprojekten erfolgreich mitzuarbeiten und das Buch deckt eine Einfuhrungsvorlesung vollstandig ab. In der dritten Auflage wurden automatisierbare Testmoglichkeiten erganzt. Neben vielen kleinen Beispielen zur Verdeutlichung einzelner Aspekte wird ein durchgehendes Beispiel genutzt. Alle Kapitel schlieen mit Wiederholungsfragen und Ubungsaufgaben, deren Losungen online zum Download zur Verfugung stehen.

Softwaretests bekommen bei immer komplexer werdenden Programmen eine immer größere Bedeutung für den Projekterfolg. Obwohl Testkonzepte etabliert sind, werden sie häufig nur in geringem Maße in Unternehmen genutzt, da sie angeblich zu aufwändig und zu teuer sind. Neben einer intuitiven Einführung in Testtechniken zeigt dieses Buch den einfachen Einstieg in das Testen von Java-Programmen mit Hilfe von einfach nutzbaren Open-Source-Werkzeugen. Dabei werden neben klassischen Programmen auch Vorgehensweisen und Werkzeuge für Client-Server-Systeme, Web-Applikationen und Systeme mit Datenbankintegration betrachtet. Die Werkzeuge decken dabei funktionale Tests, Testüberdeckungen, Tests von Oberflächen, Performance- und Lasttests, sowie die Automatisierung von Testausführungen ab. Alle Beispiele stehen als Download zur Verfügung.

Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansatzen spielen fur den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen prazise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfullt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmoglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.