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
Herausgegeben von Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner
Themen
Rechenanlagen kommen inzwischen in nahezu allen Bereichen des täglichen Lebens zum Einsatz. Die Abhängigkeiten vom zuverlässigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstützung nicht mehr arbeitsfähig. Vor diesem Hintergrund gewinnt neben anderen Qualitätssicherungsmaßnahmen die Test- und Prüfphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschließlich mit dem Test von Softwaresystemen beschäftigten, habe ich die Organisation eines Arbeitstreffens übernommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Ländern gibt es bereits Gruppen, die mehrmals im Jahr zusammenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmäßige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verifizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft für Informatik zu gründen. Der vorliegende Band enthält ausgewählte Beiträge vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Überblick über die gegenwärtigen Aktivitäten zum Thema Testen von Programmen im deutschsprachigen Raum. Im Arbeitskreis sind derzeit 50 Personen aktiv tätig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitäten kommen. Dieses Verhältnis zeigt auch die zunehmende Bedeutung der Softwareprüfung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen gehört auch deren Analyse zu den Qualitätssicherungsmaßnahmen. Sie ist sogar oft unabdingbare Voraussetzung, um überhaupt einen Test durchführen zu können.
Bibliographische Angaben
Liggesmeyer, P. ; Sneed, H. M.; Spillner, A. (Hrsg.). 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. Springer-Verlag Berlin Heidelberg, 1992. ISBN Print 978-3-540-55860-6; ISBN eBook 978-3-642-77747-9; DOI 10.1007/978-3-642-77747-9.
Inhaltsverzeichnis
- Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren
Liggesmeyer, Peter - Klassifikation von Software-Testmethoden
Herrmann, Jens (et al.) - Zur Formalisierung von Testkonzepten
Müllerburg, Monika - The MicroTest Integrated Test Environment
Sneed, Harry M. - Methoden und Werkzeuge zur Automatisierung des Software-Tests
Schless, Peter - TESTSCOPE — ein Werkzeug für den Modul- und Integrationstest
Pelkmann, Ute - Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung
Haselhorst, Ralf - Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme
Spillner, Andreas - Abnahmetest großer Systeme — Methoden, Organisation und Werkzeuge
Hauptmann, Klaus - Testen in der Wartungsphase Erfahrungen im Bereich des Regressionstests
Löx, Hans-Jürgen - Testen paralleler Betriebssysteme
Eichler, L. - Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen
Kreowski, Hans-Jörg - Ein stochastisches Fehlermodell zur Kommunikation
Pohl, H. W. - Validation und Verifikation von Software durch symbolische Ausführung
Kneuper, Ralf - Test Activities for Object-Oriented Software Development
Overbeck, Jan - Ein experimentelles Testsystem für die Sprache HyperTalk
Liggesmeyer, Peter (et al.)
Weitere Informationen
Weiterführende Informationen finden sich hier.
