Custom cover image
Custom cover image

Software-Qualität : Testen, Analysieren und Verifi zieren von Software / von Peter Liggesmeyer

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: German Series: SpringerLink BücherPublisher: Heidelberg : Spektrum Akademischer Verlag, 2009Edition: 2Description: Online-Ressource (digital)ISBN:
  • 9783827422033
Subject(s): Additional physical formats: 9783827420565 | Buchausg. u.d.T.: Software-Qualität. 2. Auflage. Heidelberg : Spektrum Akademischer Verlag, 2009. XV, 526 SeitenDDC classification:
  • 005.1
MSC: MSC: *68N01 | 68Q60 | 68-01RVK: RVK: ST 233LOC classification:
  • QA76.758
DOI: DOI: 10.1007/978-3-8274-2203-3Online resources: Summary: 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.Summary: 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. Weiterführende Informationen zum Buch finden Sie unter www.liggesmeyer.de. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.PPN: PPN: 1648265049Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-STI
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT