Test von OSI-Protokollen

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.