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

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

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

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

by Peter Liggesmeyer

Hardcover(2. Aufl. 2009)

$119.99 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE
    Check Availability at Nearby Stores

Related collections and offers


Overview

Dieses Buch stellt den aktuellen Wissensstand ü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.


Product Details

ISBN-13: 9783827420565
Publisher: Spektrum Akademischer Verlag
Publication date: 06/08/2009
Edition description: 2. Aufl. 2009
Pages: 526
Product dimensions: 7.10(w) x 9.80(h) x 1.50(d)
Language: German

About the Author

Prof. Dr.-Ing. Peter Liggesmeyer ist Lehrstuhlinhaber für Software Engineering an der TU Kaiserslautern und Institutsleiter am Fraunhofer Institut Experimentelles Software Engineering (IESE) in Kaiserslautern.

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.
From the B&N Reads Blog

Customer Reviews