Logo - springer
Slogan - springer

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

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

1997, 512 S.

Formate:
eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

 
$49.99

(net) Preis für USA

ISBN 978-3-663-01500-0

versehen mit digitalem Wasserzeichen, kein DRM

Erhältliche Formate: PDF

sofortiger Download nach Kauf


mehr Information zu Springer eBooks

add to marked items

Softcover
Information

Broschierte Ausgabe

Springer-Bücher können mit Visa, Mastercard, American Express, Paypal sowie auf Rechnung bezahlt werden.

Standard-Versand ist für Individualkunden kostenfrei.

 
$69.99

(net) Preis für USA

ISBN 978-3-519-02274-9

kostenfreier Versand für Individualkunden

gewöhnlich versandfertig in 3-5 Werktagen


add to marked items

  • Über dieses Lehrbuch

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.

Content Level » Graduate

Verwandte Fachbereiche » Technik

Inhaltsverzeichnis 

I Einführung.- 1 Beispiele für den Programmtest.- 2 Grundlegende Problemstellungen und Lösungsansätze.- 3 Qualitätsmanagement-, Prüf- und Testmethoden im Überblick.- II Spezifikationsorientiertes Testen.- 4 Datenbereichsbezogenes und funktionsbezogenes Testen.- 5 Testen von Reihenfolgebedingungen und algebraischen Spezifikationen.- 6 Bewertung des spezifikationsorientierten Testens.- III Implementationsorientiertes Testen.- 7 Kontrollflußbezogenes Testen.- 8 Datenflußbezogenes Testen.- 9 Ausdrucks-, anweisungs- und datenbezogenes Testen.- 10 Bewertung der implementationsorientierten Testkriterien.- 11 Testdatenerzeugung und Testwirksamkeitsmessung.- IV Weitere Aspekte des Testens.- 12 Statische Analyse und symbolische Ausführung.- 13 Testen „im Großen“.- 14 Testen nebenläufiger Systeme.- 15 Fehlerlokalisierung und -korrektur.- 16 Management des Testens und Prüfens.- 17 Zusammenfassung und Ausblick.- A Lösungen zu den Testaufgaben.- A.1 Lösung zu Testaufgabe 1.- A.2 Lösung zu Testaufgabe 2.- A.3 Lösung zu Testaufgabe 3.- A.4 Lösung zu Testaufgabe 4.- B Organisationen, Konferenzen, Zeitschriften und Standards.- Literatur.

Beliebte Inhalte dieser Publikation 

 

Articles

Dieses Buch auf Springerlink lesen

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Technik (allgemein).