Ebook: 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

---

Content:
Front Matter....Pages I-VIII
Testen, Analysieren und Verifizieren von Software — eine klassifizierende ?bersicht der Verfahren....Pages 1-25
Klassifikation von Software-Testmethoden....Pages 26-34
Zur Formalisierung von Testkonzepten....Pages 35-44
The MicroTest Integrated Test Environment....Pages 45-56
Methoden und Werkzeuge zur Automatisierung des Software-Tests....Pages 57-69
TESTSCOPE — ein Werkzeug f?r den Modul- und Integrationstest....Pages 70-80
Der Software-Analyse-Baukasten — Ein Bericht aus der universit?ren Ausbildung....Pages 81-90
Testmethoden und Testdatengewinnung f?r den Integrationstest modularer Softwaresysteme....Pages 91-101
Abnahmetest gro?er Systeme — Methoden, Organisation und Werkzeuge....Pages 102-110
Testen in der Wartungsphase Erfahrungen im Bereich des Regressionstests....Pages 111-118
Testen paralleler Betriebssysteme....Pages 119-129
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen....Pages 130-142
Ein stochastisches Fehlermodell zur Kommunikation....Pages 143-154
Validation und Verifikation von Software durch symbolische Ausf?hrung....Pages 155-167
Test Activities for Object-Oriented Software Development....Pages 168-176
Ein experimentelles Testsystem f?r die Sprache HyperTalk....Pages 177-186

---

Content:
Front Matter....Pages I-VIII
Testen, Analysieren und Verifizieren von Software — eine klassifizierende ?bersicht der Verfahren....Pages 1-25
Klassifikation von Software-Testmethoden....Pages 26-34
Zur Formalisierung von Testkonzepten....Pages 35-44
The MicroTest Integrated Test Environment....Pages 45-56
Methoden und Werkzeuge zur Automatisierung des Software-Tests....Pages 57-69
TESTSCOPE — ein Werkzeug f?r den Modul- und Integrationstest....Pages 70-80
Der Software-Analyse-Baukasten — Ein Bericht aus der universit?ren Ausbildung....Pages 81-90
Testmethoden und Testdatengewinnung f?r den Integrationstest modularer Softwaresysteme....Pages 91-101
Abnahmetest gro?er Systeme — Methoden, Organisation und Werkzeuge....Pages 102-110
Testen in der Wartungsphase Erfahrungen im Bereich des Regressionstests....Pages 111-118
Testen paralleler Betriebssysteme....Pages 119-129
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen....Pages 130-142
Ein stochastisches Fehlermodell zur Kommunikation....Pages 143-154
Validation und Verifikation von Software durch symbolische Ausf?hrung....Pages 155-167
Test Activities for Object-Oriented Software Development....Pages 168-176
Ein experimentelles Testsystem f?r die Sprache HyperTalk....Pages 177-186
....