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

Description

Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prüfprozesse und Werkzeuge. Das Buch richtet sich gleichermaßen an Praktiker sowie an Informatik-Dozenten und –Studierende. Es kann „von vorn nach hinten" gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verständliches „kleines Buch für sich". Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schließt mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Weiterführende Informationen zum Buch finden Sie unter www.liggesmeyer.de. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests. Front Matter....Pages I-XV Einführung....Pages 1-48 Funktionsorientierter Test....Pages 49-81 Kontrollflussorientierter, strukturorientierter Test....Pages 83-139 Datenflussorientierter, strukturorientierter Test....Pages 141-178 Spezielle dynamische Testtechniken....Pages 179-214 Modellbasiertes Testen....Pages 215-230 Software-Messung....Pages 231-268 Werkzeugunterstützte statische Codeanalyse....Pages 269-304 Software-Inspektionen und Reviews....Pages 305-319 Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis....Pages 321-360 Prozesse und Prüfstrategien....Pages 361-389 Werkzeuge....Pages 391-405 Prüfen von objektorientierter Software....Pages 407-438 Prüfen von eingebetteter Software....Pages 439-479 Ein Praxisleitfaden....Pages 481-491 Back Matter....Pages 493-526