Software-Qualität 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...
Main Author: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Heidelberg
Spektrum Akademischer Verlag
2009, 2009
|
Edition: | 2nd ed. 2009 |
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Einführung
- Funktionsorientierter Test
- Kontrollflussorientierter, strukturorientierter Test
- Datenflussorientierter, strukturorientierter Test
- Spezielle dynamische Testtechniken
- Modellbasiertes Testen
- Software-Messung
- Werkzeugunterstützte statische Codeanalyse
- Software-Inspektionen und Reviews
- Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis
- Prozesse und Prüfstrategien
- Werkzeuge
- Prüfen von objektorientierter Software
- Prüfen von eingebetteter Software
- Ein Praxisleitfaden