Details

Software-Qualität


Software-Qualität

Testen, Analysieren und Verifizieren von Software
2. Aufl. 2009

von: Peter Liggesmeyer

79,99 €

Verlag: Spektrum Akademischer Verlag bei Elsevier
Format: PDF
Veröffentl.: 18.06.2009
ISBN/EAN: 9783827422033
Sprache: deutsch
Anzahl Seiten: 526

Dieses eBook enthält ein Wasserzeichen.

Beschreibungen

<P>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.</P>
<P>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. </P>
<P></P>
<P>Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests. </P>
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.
<P>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. </P>
<P>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.</P>
<P>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. </P>
<P></P>
<P>Weiterführende Informationen zum Buch finden Sie unter www.liggesmeyer.de. </P>
<P></P>
<P>Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests. </P>
Ebenso fundiert wie praxisnah Umfassende Darstellung des Themas, in der Neuauflage um ein Kapitel zum modellbasierten Testen erweitert Includes supplementary material: sn.pub/extras
<P>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.</P>
<P>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. </P>
<P></P>
<P>Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests. </P>

Diese Produkte könnten Sie auch interessieren:

Quantifiers in Action
Quantifiers in Action
von: Antonio Badia
PDF ebook
96,29 €
Managing and Mining Uncertain Data
Managing and Mining Uncertain Data
von: Charu C. Aggarwal
PDF ebook
96,29 €