Software-Qualit?: Testen, Analysieren Und Verifizieren Von Software

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.

Die 2. Auflage ist vollst?ndig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.