Informatik aktuell
© 1992
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
Herausgeber: Liggesmeyer, Peter, Sneed, Harry M., Spillner, Andreas (Hrsg.)
VorschauDieses Buch kaufen
- Inhaltsverzeichnis (16 Kapitel)
-
-
Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren
Seiten 1-25
-
Klassifikation von Software-Testmethoden
Seiten 26-34
-
Zur Formalisierung von Testkonzepten
Seiten 35-44
-
The MicroTest Integrated Test Environment
Seiten 45-56
-
Methoden und Werkzeuge zur Automatisierung des Software-Tests
Seiten 57-69
-
Inhaltsverzeichnis (16 Kapitel)
Dieses Buch kaufen
Services zu diesem Buch
Wir empfehlen
Bibliografische Information
- Bibliographic Information
-
- Buchtitel
- Testen, Analysieren und Verifizieren von Software
- Buchuntertitel
- 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
- Herausgeber
-
- Peter Liggesmeyer
- Harry M. Sneed
- Andreas Spillner
- Titel der Buchreihe
- Informatik aktuell
- Copyright
- 1992
- Verlag
- Springer-Verlag Berlin Heidelberg
- Copyright Inhaber
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-77747-9
- DOI
- 10.1007/978-3-642-77747-9
- Softcover ISBN
- 978-3-540-55860-6
- Buchreihen ISSN
- 1431-472X
- Auflage
- 1
- Seitenzahl
- VIII, 186
- Anzahl der Bilder
- 58 schwarz-weiß Abbildungen
- Themen
