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

Einerseits ist eine definiert hohe Software-QualitAt in vielen Anwendungsbereichen unverzichtbar. Andererseits ist sie aufgrund steigender Software-UmfAnge und -KomplexitAten im gegebenen Zeit- und Kostenrahmen zunehmend schwieriger zu erreichen. Dieses Buch stellt den aktuellen Wissenstand A1/4ber die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-QualitAtssicherung - soweit das in einem Buch mAglich ist - vollstAndig dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale AnsAtze, Techniken zur AoeberprA1/4fung objektorientierter und eingebetteter Software sowie PrA1/4fstrategien, PrA1/4fprozesse und Werkzeuge. Das Buch richtet sich gleichermaAen 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 verstAndliches "kleines Buch fA1/4r sich." Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schlieAt mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt.