Skip to main content
SpringerLink
Log in

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

  • Textbook
  • © 1997

Overview

Authors:
  1. Eike Hagen Riedemann

    1. Universität Dortmund, Dortmund, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: XLeitfäden der Informatik (XLINF)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Pages 1-13
    Download chapter PDF

  2. Einführung

    1. Front Matter

      Pages 15-15
      Download chapter PDF

    2. Beispiele für den Programmtest

      • Eike Hagen Riedemann
      Pages 17-20

    3. Grundlegende Problemstellungen und Lösungsansätze

      • Eike Hagen Riedemann
      Pages 21-46

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

      • Eike Hagen Riedemann
      Pages 47-69

  3. Spezifikationsorientiertes Testen

    1. Front Matter

      Pages 71-73
      Download chapter PDF

    2. Datenbereichsbezogenes und funktionsbezogenes Testen

      • Eike Hagen Riedemann
      Pages 74-112

    3. Testen von Reihenfolgebedingungen und algebraischen Spezifikationen

      • Eike Hagen Riedemann
      Pages 113-137

    4. Bewertung des spezifikationsorientierten Testens

      • Eike Hagen Riedemann
      Pages 138-182

  4. Implementationsorientiertes Testen

    1. Front Matter

      Pages 185-187
      Download chapter PDF

    2. Kontrollflußbezogenes Testen

      • Eike Hagen Riedemann
      Pages 188-211

    3. Datenflußbezogenes Testen

      • Eike Hagen Riedemann
      Pages 212-228

    4. Ausdrucks-, anweisungs- und datenbezogenes Testen

      • Eike Hagen Riedemann
      Pages 229-250

    5. Bewertung der implementationsorientierten Testkriterien

      • Eike Riedemann
      Pages 251-273

    6. Testdatenerzeugung und Testwirksamkeitsmessung

      • Eike Hagen Riedemann
      Pages 274-294

  5. Weitere Aspekte des Testens

    1. Front Matter

      Pages 297-299
      Download chapter PDF

    2. Statische Analyse und symbolische Ausführung

      • Eike Hagen Riedemann
      Pages 300-341

    3. Testen „im Großen“

      • Eike Hagen Riedemann
      Pages 342-377

    4. Testen nebenläufiger Systeme

      • Eike Hagen Riedemann
      Pages 378-416

    5. Fehlerlokalisierung und -korrektur

      • Eike Hagen Riedemann
      Pages 417-438
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Universität Dortmund, Dortmund, Deutschland

    Eike Hagen Riedemann

Bibliographic Information

  • Book Title: Testmethoden für sequentielle und nebenläufige Software-Systeme

  • Authors: Eike Hagen Riedemann

  • Series Title: XLeitfäden der Informatik

  • DOI: https://doi.org/10.1007/978-3-663-01500-0

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1997

  • Softcover ISBN: 978-3-519-02274-9Published: 01 September 1997

  • eBook ISBN: 978-3-663-01500-0Published: 21 November 2013

  • Series ISSN: 1615-5432

  • Edition Number: 1

  • Number of Pages: 512

  • Number of Illustrations: 73 b/w illustrations

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation