Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner (Eds.):
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.
Informatik Aktuell Springer 1992, ISBN 3-540-55860-8 
@proceedings{DBLP:conf/testen/1992,
editor = {Peter Liggesmeyer and
Harry M. Sneed and
Andreas Spillner 0002},
title = {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},
booktitle = {Testen, Analysieren und Verifizieren von Software},
publisher = {Springer},
series = {Informatik Aktuell},
year = {1992},
isbn = {3-540-55860-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Überblick und Klassifikation
Werkzeuge
- Harry M. Sneed:
The MicroTest Integrated Test Environment.
45-56
- Peter Schless:
Methoden und Werkzeuge zur Automatisierung des Software-Tests.
57-69
- Ute Pelkmann:
TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest.
70-80
- Ralf Haselhorst:
Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung.
81-90
Prüfen umfangreicher Softwaresysteme
- Andreas Spillner:
Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme.
91-101
- Klaus Hauptmann:
Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge.
102-110
- Hans-Jürgen Löx:
Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests.
111-118
- Lutz Eichler:
Testen paralleler Betriebssysteme.
119-129
Formale Ansätze zur Softwareprüfung
- Hans-Jörg Kreowski:
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.
130-142
- Hans Werner Pohl:
Ein stochastisches Fehlermodell zur Kommunikation.
143-154
- Ralf Kneuper:
Validation und Verifikation von Software durch symbolische Ausführung.
155-167
Prüfen objektorientierter Softwaresysteme
Copyright © Mon Mar 15 03:55:23 2010
by Michael Ley (ley@uni-trier.de)
