Details

Autor(en) / Beteiligte

• Liggesmeyer, Peter[Herausgeber]
• Sneed, Harry M[Herausgeber]
• Spillner, Andreas[Herausgeber]

Titel

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 [electronic resource]

Auflage

1st ed. 1992

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

1992

Link zum Volltext

• SpringerLink Books - AutoHoldings

Beschreibungen/Notizen

• Bibliographic Level Mode of Issuance: Monograph
• Ü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.
• German