Del i serien XLeitfäden der Informatik

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

Häftad, Tyska, 1997

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1997-09-01
Mått170 x 244 x 28 mm
Vikt881 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor512
Upplaga1997
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022749

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.

Mer från samma serie

Kompendium Theoretische Informatik — eine Ideensammlung

Ingo Wegener

Häftad, 1996

539 kr

Elektrotechnik für Informatiker

Reinhold Paul

Häftad, 2004

749 kr

Algorithmische Grundlagen der Bioinformatik

Hans-Joachim Böckenhauer, Dirk Bongartz, Hans-Joachim Böckenhauer, Dirk Bongartz

Häftad, 2003

609 kr

Approximationsalgorithmen

Rolf Wanka

Häftad, 2006

539 kr

Mustererkennung mit Markov-Modellen

Gernot A. Fink

Häftad, 2003

549 kr

Protocol Engineering

Hartmut König

Häftad, 2003

609 kr

Randomisierte Algorithmen

Juraj Hromkovic

Häftad, 2004

699 kr

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

449 kr

Theorie der stochastischen Automaten

Springer Fachmedien Wiesbaden

Häftad, 1995

679 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1995

949 kr

Du kanske också är intresserad av

Fuzzy-Systeme

Frank Klawonn, Jörg Gebhardt

Häftad, 1995

1 079 kr

Randomisierte Algorithmen

Juraj Hromkovic

Häftad, 2004

699 kr

Petrinetze

Wolfgang Reisig

Inbunden, 2010

519 kr

Elektrotechnik und Elektronik für Informatiker

Springer Fachmedien Wiesbaden

Häftad, 1999

679 kr

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

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Programmieren mit Modula-2 Grundkurs Angewandte Informatik I

Wolffried Stucky, W. Stucky

Häftad, 1994

679 kr

Multimediale Datenbanken

Klaus Meyer-Wegener

Häftad, 2003

469 kr

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

449 kr

Computergrafik und Geometrisches Modellieren

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

Häftad, 2001

609 kr

Diagnose von Computern

Springer Fachmedien Wiesbaden

Häftad, 1996

679 kr

Del i serien XLeitfäden der Informatik

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

Häftad, Tyska, 1997

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1997-09-01
Mått170 x 244 x 28 mm
Vikt881 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor512
Upplaga1997
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022749

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.