Software-Qualität: Testen, Analysieren und Verifizieren von Software
Autor Peter Liggesmeyerde Limba Germană Hardback – 8 iun 2009
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.
Preț: 713.90 lei
Preț vechi: 892.36 lei
-20% Nou
Puncte Express: 1071
Preț estimativ în valută:
136.63€ • 141.92$ • 113.49£
136.63€ • 141.92$ • 113.49£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783827420565
ISBN-10: 3827420563
Pagini: 544
Ilustrații: XV, 526 S.
Dimensiuni: 170 x 244 x 40 mm
Greutate: 1.14 kg
Ediția:2. Aufl. 2009
Editura: Spektrum Akademischer Verlag
Colecția Spektrum Akademischer Verlag
Locul publicării:Heidelberg, Germany
ISBN-10: 3827420563
Pagini: 544
Ilustrații: XV, 526 S.
Dimensiuni: 170 x 244 x 40 mm
Greutate: 1.14 kg
Ediția:2. Aufl. 2009
Editura: Spektrum Akademischer Verlag
Colecția Spektrum Akademischer Verlag
Locul publicării:Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
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.
Recenzii
Diese Publikation stellt den aktuellen Wissensstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. (..)
Bundesanzeiger
Peter Liggesmeyer (..) hat das neben Entwurf intelektuell anspruchsvollste Thema der Informatik angegangen und bravourös gemeistert. Nahezu lückenlos beschreibt und bewertet er alle Techniken, sei es dass sie in der Praxis eingesetzt werden oder nur in der theoretischen Diskussion eine Rolle spielen.
Informatik Spektrum
Bundesanzeiger
Peter Liggesmeyer (..) hat das neben Entwurf intelektuell anspruchsvollste Thema der Informatik angegangen und bravourös gemeistert. Nahezu lückenlos beschreibt und bewertet er alle Techniken, sei es dass sie in der Praxis eingesetzt werden oder nur in der theoretischen Diskussion eine Rolle spielen.
Informatik Spektrum
Notă biografică
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.
Textul de pe ultima copertă
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.
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.
Caracteristici
Ebenso fundiert wie praxisnah Umfassende Darstellung des Themas, in der Neuauflage um ein Kapitel zum modellbasierten Testen erweitert Includes supplementary material: sn.pub/extras