Test von OSI-Protokollen
Springer Berlin (Verlag)
978-3-540-51824-2 (ISBN)
1 Einleitung.- 1.1 Problematik.- 1.2 Bekannte Werkzeuge und Methoden.- 1.3 Motivation.- 1.4 Gliederung der Abhandlung.- 2 Test.- 2.1 Grundprinzipien des Testens.- 2.2 Test von OSI-Protokollen.- 2.3 Testverfahren.- 2.4 Testdaten für den Protokolltest.- 3 Automatische Generierung von Testdaten.- 3.1 Grammatikverfahren.- 3.2 Automatenverfahren.- 3.3 Probleme.- 4 Das Karlsruher Testsystem.- 4.1 Forderungen.- 4.2 Konzeption.- 4.3 Vergleich mit anderen Testverfahren.- 4.4 Bewertung.- 5 TRANS-CHECK- Verfahren.- 5.1 Algorithmus.- 5.2 Bewertung des TRANS-CHECK-Verfahrens.- 5.3 Vergleich mit anderen Verfahren.- 6 Generierung von Testszenarien.- 6.1 Anforderungen.- 6.2 Test Control Language.- 6.3 Erweiterung des Protokollautomaten.- 6.4 Verfahren zur automatischen Erstellung.- 6.5 Abarbeitung eines Test Szenarios.- 7 Teststrategie.- 7.1 Testszenarien.- 7.2 Deterministisches/indeterministisches Protokollverhalten.- 7.3 Festlegung einer Teststrategie.- Anhang A. Definitionen und Theoreme.- Anhang B. Testsequenzen für den Automaten B.- B.1 TRANS-CHECK-Verfahren.- B.2 Transition Tour Verfahren.- B.3 W-Methode.- B.4 Checking Sequence Verfahren.- B.5 UIO-Verfahren.- Anhang C. Experimente.- C.1 Experimente für das Transition Tour Verfahren.- C.2 Vergleich der Testdatengenerierungsverfahren.- C.2.1 Transition Tour Verfahren.- C.2.2 W-Methode.- C.2.3 Checking Sequence Verfahren.- C.2.4 UIO-Verfahren.- C.2.5 Zusammenfassung.- Anhang D. Zeitliche Abfolge der Testausführung.- Anhang E. Algorithmen.- E.1 Erweiterungsalgorithmus.- E.2 Algorithmus zur Darstellung der Funktionsweise des Testkoordinators.- Anhang F. Automaten.- F.1 Erweiterter Automat B2?.- F.2 Erweiterter Automat B3?.- Literatur.
Erscheint lt. Verlag | 25.10.1989 |
---|---|
Reihe/Serie | Informatik-Fachberichte |
Zusatzinfo | IX, 205 S. 12 Abb. |
Verlagsort | Berlin |
Sprache | deutsch |
Maße | 170 x 242 mm |
Gewicht | 410 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Netzwerke | |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Auswertung • Heterogene Rechnernetze • Kommunikationssoftware • OSI-Transportprotokoll • Protokolltest • Test • Testdatengenerierung |
ISBN-10 | 3-540-51824-X / 354051824X |
ISBN-13 | 978-3-540-51824-2 / 9783540518242 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich