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
Editors: Liggesmeyer, Peter, Sneed, Harry M., Spillner, Andreas (Hrsg.)
Free PreviewBuy this book
- Table of contents (16 chapters)
-
-
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
-
Table of contents (16 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Testen, Analysieren und Verifizieren von Software
- Book Subtitle
- 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
- Editors
-
- Peter Liggesmeyer
- Harry M. Sneed
- Andreas Spillner
- Series Title
- Informatik aktuell
- Copyright
- 1992
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- 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
- Series ISSN
- 1431-472X
- Edition Number
- 1
- Number of Pages
- VIII, 186
- Number of Illustrations
- 58 b/w illustrations
- Topics
