Liggesmeyer, Peter Software-Qualität: Testen, Analysieren und Verifizieren von Software

'Software-Qualität: Testen, Analysieren und Verifizieren von Software' von Peter Liggesmeyer ist ein umfassendes Werk, das sich mit den verschiedenen Aspekten der Qualitätssicherung in der Softwareentwicklung beschäftigt. Das Buch bietet einen detaillierten Überblick über Methoden und Techniken zur Sicherstellung der Softwarequalität. Es behandelt Themen wie das Testen von Software, einschließlich funktionaler und nicht-funktionaler Tests, sowie die Bedeutung automatisierter Tests. Weiterhin werden statische und dynamische Analysemethoden vorgestellt, die helfen, Fehler frühzeitig im Entwicklungsprozess zu identifizieren. Ein weiterer Schwerpunkt liegt auf der Verifikation von Software, um sicherzustellen, dass diese den spezifizierten Anforderungen entspricht. Liggesmeyer diskutiert auch moderne Ansätze wie formale Methoden und Modellbasiertes Testen. Das Buch richtet sich sowohl an Studierende der Informatik als auch an Praktiker in der Softwareentwicklung und bietet praxisnahe Beispiele sowie theoretisches Hintergrundwissen zur Verbesserung der Softwarequalität.