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

Häftad, Tyska, 1997

Del i serien XLeitfäden der Informatik

520 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1997-09-01
Mått:170 x 244 x 28 mm
Vikt:881 g
Format:Häftad
Språk:Tyska
Serie:XLeitfäden der Informatik
Antal sidor:512
Upplaga:1997
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519022749

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

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.

Du kanske också är intresserad av

Fuzzy-Systeme

Frank Klawonn, Jörg Gebhardt

Häftad, 1995

828 kr

Randomisierte Algorithmen

Juraj Hromkovic

Häftad, 2004

535 kr

Petrinetze

Wolfgang Reisig

Inbunden, 2010

397 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Programmieren mit Modula-2 Grundkurs Angewandte Informatik I

Wolffried Stucky, W. Stucky

Häftad, 1994

519 kr

Elektrotechnik und Elektronik für Informatiker

Springer Fachmedien Wiesbaden

Häftad, 1999

520 kr

-17%

Om att misslyckas

Peter Englund

Inbunden, 2026

(16)

199 kr239 kr

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

345 kr

Multimediale Datenbanken

Klaus Meyer-Wegener

Häftad, 2003

356 kr

Computergrafik und Geometrisches Modellieren

Beat Brüderlin, Andreas Meier, Beat Brüderlin, Andreas Meier

Häftad, 2001

468 kr

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

Häftad, Tyska, 1997

Del i serien XLeitfäden der Informatik

520 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1997-09-01
Mått:170 x 244 x 28 mm
Vikt:881 g
Format:Häftad
Språk:Tyska
Serie:XLeitfäden der Informatik
Antal sidor:512
Upplaga:1997
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519022749

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

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.