Test von OSI-Protokollen

Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezglich Konformitt und Kompatibilitt immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Mglichkeiten 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 Testdurchfhrung und die automatische Generierung von Testdaten ermglichen. Dem Leser wird ein umfassender berblick ber die Probleme des Protokolltestens und ihre Lsungsmglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchfhrung von OSI-Protokolltests ermglicht, wobei Konformitt, Kompatibilitt, Robustheit und Zuverlssigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden knnen. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten fr den Konformittstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich krzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mchtigkeit besitzen wie die durch hnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfr entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepat ist.