Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992

Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992

Paperback

$69.99
Members save with free shipping everyday! 
See details

Product Details

ISBN-13: 9783540558606
Publisher: Springer Berlin Heidelberg
Publication date: 10/05/1992
Series: Informatik aktuell
Pages: 186
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Überblick und Klassifikation.- Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren.- Klassifikation von Software-Testmethoden.- Zur Formalisierung von Testkonzepten.- Werkzeuge.- The MicroTest Integrated Test Environment.- Methoden und Werkzeuge zur Automatisierung des Software-Tests.- TESTSCOPE — ein Werkzeug für den Modul- und Integrationstest.- Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung.- Prüfen umfangreicher Softwaresysteme.- Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme.- Abnahmetest großer Systeme — Methoden, Organisation und Werkzeuge.- Testen in der Wartungsphase — Erfahrungen im Bereich des Regressionstests.- Testen paralleler Betriebssysteme.- Formale Ansätze zur Softwareprüfung.- Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.- Ein stochastisches Fehlermodell zur Kommunikation.- Validation und Verifikation von Software durch symbolische Ausführung.- Prüfen objektorientierter Softwaresysteme.- Test Activities for Object-Oriented Software Development.- Ein experimentelles Testsystem für die Sprache HyperTalk.

Customer Reviews