Software-Qualität [electronic resource] : Testen, Analysieren und Verifizieren von Software /
Liggesmeyer, Peter.author.
Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prü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 verständliches "kleines Buch fü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. Weiterführende Informationen zum Buch finden Sie unter www.liggesmeyer.de. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.
Description based upon print version of record.
Einführung -- Funktionsorientierter Test -- Kontrollflussorientierter, strukturorientierter Test -- Datenflussorientierter, strukturorientierter Test -- Spezielle dynamische Testtechniken -- Modellbasiertes Testen -- Software-Messung -- Werkzeugunterstützte statische Codeanalyse -- Software-Inspektionen und Reviews -- Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis -- Prozesse und Prüfstrategien -- Werkzeuge -- Prüfen von objektorientierter Software -- Prüfen von eingebetteter Software -- Ein Praxisleitfaden.
Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prü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 verständliches "kleines Buch fü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. Weiterführende Informationen zum Buch finden Sie unter www.liggesmeyer.de. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.
Software engineering.
Software Engineering/Programming and Operating Systems.
Software Engineering.