XLeitfäden der Informatik

Testmethoden für sequentielle und nebenläufige Software-Systeme

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-663-01500-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-519-02274-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

Für die Erstellung großer Software-Systeme sind trotz verbesserter Konstruktionsmethoden für die Software-Entwicklung analytische Maßnahmen zur Überprüfung der Korrektheit der Software unverzichtbar. In der Praxis wird die Korrektheit von Software meist mittels Testen sichergestellt. Der Inhalt des Buches gliedert sich in vier Teile. Im ersten Teil erfolgt eine Einführung anhand von Beispielprogrammen und eine Beschreibung der Probleme und Grundlagen des Testens. Im zweiten Teil werden spezifikationsorientierte Testmethoden ausführlich vorgestellt. Der dritte Teil behandelt (für kleine Programme oder Moduln) in umfassender Weise Testmethoden, die sich an der Implementierung orientieren. Im vierten Teil werden Methoden für die statische Analyse von Programmen, für den (Integrations-)Test großer Programmsysteme, für die Testgütemessung und die Fehlerlokalisierung präsentiert. Die Darstellung der besonderen Probleme und Methoden beim Testen nebenläufiger Systeme unterscheidet dieses Buch von anderen Büchern über das Softwaretesten. Im abschließenden Kapitel werden Hinweise zur Auswahl und Kombination von Testmethoden gegeben. Das Buch stellt nicht nur eine Sammlung von Methoden dar, die anhand von Beispielen illustriert werden. Vielmehr werden auch die dahinterliegenden Prinzipien und Konzepte erläutert. Für die einzelnen Methoden werden Vor- und Nachteile bezüglich Aufwand und Leistung angegeben und mit den anderen Methoden verglichen.

Table of contents (17 chapters)

  • Beispiele für den Programmtest

    Riedemann, Eike Hagen

    Pages 17-20

  • Grundlegende Problemstellungen und Lösungsansätze

    Riedemann, Eike Hagen

    Pages 21-46

  • Qualitätsmanagement-, Prüf- und Testmethoden im Überblick

    Riedemann, Eike Hagen

    Pages 47-69

  • Datenbereichsbezogenes und funktionsbezogenes Testen

    Riedemann, Eike Hagen

    Pages 74-112

  • Testen von Reihenfolgebedingungen und algebraischen Spezifikationen

    Riedemann, Eike Hagen

    Pages 113-137

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-663-01500-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-519-02274-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Testmethoden für sequentielle und nebenläufige Software-Systeme
Series Title
XLeitfäden der Informatik
Copyright
1997
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Springer Fachmedien Wiesbaden
eBook ISBN
978-3-663-01500-0
DOI
10.1007/978-3-663-01500-0
Softcover ISBN
978-3-519-02274-9
Series ISSN
1615-5432
Edition Number
1
Number of Pages
512
Number of Illustrations and Tables
73 b/w illustrations
Topics