In: Hogrefe, D.: Formale Beschreibungstechniken für verteilte Systeme. GI Springer-Verlag, Berlin, Heidelberg, New York, 1992. In German.
Abstract: Die automatische bzw. rechnergestützte Generierung von Testfällen aus formalen Protokollbeschreibungen ist eine aussichtsreiche Alternative zur fehleranfälligen manuellen Erstellung umfangreicher Testsuites. Die formalen Beschreibungen der PROSIT-Gruppe basieren auf Produktnetzen, einer speziell entwickelten Klasse höherer Petri-Netze. Die standardmäÑigen Funktionen der Produktnetzmaschine, eines integrierten Systementwurfs- und analysewerkzeuges, wurden nunmehr um Testgenerierungsprogramme erweitert, die die Produktion von Testsuites nach den Richtlinien der OSI-Test-Methodik-Norm unterstützen. In diesem Papier werden die Konzepte, deren Verwirklichung und die verbleibenden Aufgaben dieses Ansatzes erläutert. AuÑerdem werden Restprobleme indentifiziert, die auf Schwächen der Protokoll- oder Testmethodik-Normen zurückgehen, und Lösungsvorschläge gemacht.