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 - Liggesmeyer, Peter 1963- (Springer Berlin Heidelberg, 1992)
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
Keywords: Computer science; Software engineering; Computer Science; Software Engineering/Programming and Operating Systems; Informatik; Programmverifikation; Softwaretest; Qualitätskontrolle; Software; Konferenzschrift -- 1991 -- Benthe; Konferenzschrift -- 1992 -- Bochum