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
Published on 7. March 2013
VIII, 186 pages
978-3-642-77747-9 (ISBN)
Description
More details
Other editions
Additional editions
Peter Liggesmeyer | Harry M. Sneed | Andreas Spillner
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
Book
09/1992
Springer
€54.99
Shipment within 10-15 days
Content
Ü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.
