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.