Rechenanlagen kommen inzwischen in nahezu allen Bereichen des tiiglichen Lebens zum Einsatz. Die Abhiingigkeiten vom zuverliissigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstiitzung nicht mehr arbeitsfllhig. Vor diesem Hintergrund gewinnt neben anderen QualitlitssicherungsmaBnahmen die Test- und Priifphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschlieBlich mit dem Test von Softwaresystemen besch!iftigten, habe ich die Organisation eines Arbeitstreffens iibemommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Liindem gibt es bereits Gruppen, die mehrmals im Jahr zusanunenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmiiBige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verijizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft fi.ir Informatik zu grunden. Der vorliegende Band enthiilt ausge- wiihlte Beitriige vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Uberblick iiber die gegenwiirtigen Aktivitliten zum Thema Testen von Progranunen im deutschsprachigen Raum. 1m Arbeitskreis sind derzeit 50 Personen aktiv tiitig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitiiten kommen. Dieses Verhiiltnis zeigt auch die zunehmende Bedeutung der Softwarepriifung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen geh1lrt auch deren Analyse zu den QualitiitssicherungsmaBnah- men. Sie ist sogar oft unabdingbare Voraussetzung, urn iiberhaupt einen Test durchfiihren zu k1lnnen.
Les mer
Ü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.
Les mer
Springer Book Archives
Springer Book Archives

Produktdetaljer

ISBN
9783540558606
Publisert
1992-09-10
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Vekt
340 gr
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Professional/practitioner, P, 06
Språk
Product language
Tysk
Format
Product format
Heftet