
Software-Qualität
Testen, Analysieren und Verifizieren von Software
Peter Liggesmeyer(Author)
Spektrum Akademischer Verlag
1st Edition
Published on 22. August 2002
Book
Hardback
523 pages
978-3-8274-1118-1 (ISBN)
Article exhausted; check for reprint
Description
Einerseits ist eine definiert hohe Software-Qualität in vielen Anwendungsbereichen unverzichtbar. Andererseits ist sie aufgrund steigender Software-Umfänge und -Komplexitäten im gegebenen Zeit- und Kostenrahmen zunehmend schwieriger zu erreichen.
Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung - soweit das in einem Buch möglich ist - vollständig 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.
Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung - soweit das in einem Buch möglich ist - vollständig 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.
More details
Language
German
Place of publication
Heidelberg
Germany
Target group
Professional/practitioner
Product notice
Unsewn / adhesive bound
Paper over boards
Illustrations
161 s/w Abbildungen
Figures; Tables, black and white
Dimensions
Height: 24 cm
Width: 17 cm
Thickness: 36 mm
Weight
1129 gr
ISBN-13
978-3-8274-1118-1 (9783827411181)
Schweitzer Classification
Other editions
New editions

Book
06/2009
2nd Edition
Spektrum Akademischer Verlag
€129.99
Shipment within 10-15 days
Person
Prof. Dr.-Ing. Peter Liggesmeyer ist Dozent an der Universität Potsdam und Leiter des Fachgebiets Qualitätsmanagement am Hasso-Plattner-Institut für Softwaresystemtechnik. Er verügt über langjährige Industrieerfahrung im Bereich Software-Qualitätssicherung.
Content
1. Einführung
2. Funktionsorientierter Test
3. Kontrollflussorientierter, strukturorirntierter Test
4. Datenflussorientierter, strukturorintierter Test
5. Spezielle dynamische Testtechniken
6. Software-Messung
7. Werkzeugunterstützte statische Codeanalyse
8. Software-Inspektionen und Reviews
9. Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis
10. Prüfstrategien und Prüfprozesse
11. Werkzeuge
12. Prüfen von objektorientierter Software
13. Prüfen von eigebetteter Software
14. Ein Praxisleitfaden
2. Funktionsorientierter Test
3. Kontrollflussorientierter, strukturorirntierter Test
4. Datenflussorientierter, strukturorintierter Test
5. Spezielle dynamische Testtechniken
6. Software-Messung
7. Werkzeugunterstützte statische Codeanalyse
8. Software-Inspektionen und Reviews
9. Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis
10. Prüfstrategien und Prüfprozesse
11. Werkzeuge
12. Prüfen von objektorientierter Software
13. Prüfen von eigebetteter Software
14. Ein Praxisleitfaden