Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezÃŧglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware MÃļglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische TestdurchfÃŧhrung und die automatische Generierung von Testdaten ermÃļglichen. Dem Leser wird ein umfassender Ãberblick Ãŧber die Probleme des Protokolltestens und ihre LÃļsungsmÃļglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische DurchfÃŧhrung von OSI-Protokolltests ermÃļglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden kÃļnnen. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten fÃŧr den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kÃŧrzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfÃŧr entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaÃt ist.