Testmethoden für sequentielle und nebenläufige Software-Systeme:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Riedemann, Eike Hagen (VerfasserIn)
Format: Elektronisch E-Book
Sprache:German
Veröffentlicht: Wiesbaden Vieweg+Teubner Verlag 1997
Schriftenreihe:Leitfäden der Informatik
Schlagworte:
Online-Zugang:Volltext
Beschreibung: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
Beschreibung:1 Online-Ressource (512 S.)
ISBN:9783663015000
9783519022749
ISSN:1615-5432
DOI:10.1007/978-3-663-01500-0

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen