Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Software-Qualität
Testen, Analysieren und Verifizieren von Software
Buch von Peter Liggesmeyer
Sprache: Deutsch

109,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Über den Autor

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.

Zusammenfassung

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.

Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.

Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2009
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: xv
526 S.
ISBN-13: 9783827420565
ISBN-10: 3827420563
Sprache: Deutsch
Herstellernummer: 12259489
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Liggesmeyer, Peter
Auflage: 2. Aufl. 2009
Hersteller: Spektrum Akademischer Verlag
Verantwortliche Person für die EU: Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 250 x 175 x 35 mm
Von/Mit: Peter Liggesmeyer
Erscheinungsdatum: 08.06.2009
Gewicht: 1,109 kg
Artikel-ID: 101639315
Über den Autor

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.

Zusammenfassung

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.

Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.

Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2009
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: xv
526 S.
ISBN-13: 9783827420565
ISBN-10: 3827420563
Sprache: Deutsch
Herstellernummer: 12259489
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Liggesmeyer, Peter
Auflage: 2. Aufl. 2009
Hersteller: Spektrum Akademischer Verlag
Verantwortliche Person für die EU: Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 250 x 175 x 35 mm
Von/Mit: Peter Liggesmeyer
Erscheinungsdatum: 08.06.2009
Gewicht: 1,109 kg
Artikel-ID: 101639315
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte