INHALTSVERZEICHNIS
Überblick und Klassifikation
Peter Liggesmeyer
Testen, Analysieren und Verifizieren von Software - eine klassifizierende
Übersicht der Verfahren
Jens Herrmann, Klaus Grimm
Klassifikation von Software-Testmethoden
Monika Müllerburg
Zur Formalisierung von Testkonzepten
Werkzeuge
Harry M. Sneed
The MicroTest Integrated Test Environment
Peter Schless
Methoden und Werkzeuge zur Automatisierung des Software-Tests
Ute Pelkmann
TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest
Ralf Haselhorst
Der Software-Analyse-Baukasten - Ein Bericht aus der universitären
Ausbildung
Prüfen umfangreicher Softwaresysteme
Andreas Spillner
Testmethoden und Testdatengewinnung für den Integrationstest
modularer Softwaresysteme
Klaus Hauptmann
Abnahmetest großer Systeme - Methoden, Organisation und
Werkzeuge
Hans-Jürgen Löx
Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests
Lutz Eichler
Testen paralleler Betriebssysteme
Formale Ansätze zur Softwareprüfung
Hans-Jörg Kreowski
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen
Hans-Werner Pohl
Ein stochastisches Fehlermodell zur Kommunikation
Ralf Kneuper
Validation und Verifikation von Software durch symbolische Ausführung
Prüfen objektorientierter Softwaresysteme
Jan Overbeck
Test Activities for Object-Oriented Software Development
Peter Liggesmeyer, Andreas Dregger, Helmut Balzert
Ein experimentelles Testsystem für die Sprache HyperTalk
[Zurück zur FG 2.1.7]