Aan de Rijksuniversiteit Utrecht is een geautomatiseerde testmethode ontwikkeld voor protocollen. De Groninger drs. E. Kwast promoveert hierop aanstaande vrijdag.
Het testen van protocollen is erg tijdrovend. Bovendien treden er bij het testen vaak fouten op. Daarom worden methoden onderzocht om het uitvoeren van testen te automatiseren. Drs. Kwast heeft zo’n geautomatiseerde testmethode ontwikkeld.
Een protocol legt ook de structuur vast van berichten die tussen systemen worden uitgewisseld. Het bepaalt bovendien de volgorde van de berichten en de relaties die moeten gelden tussen de inhoud van de uitgewisselde berichten. Maar deze relaties moeten eerst worden beschreven in een notatie. Om dit te bereiken heeft Kwast een notatie ontwikkeld. In zijn proefschrift belicht hij de ontwikkelde instrumenten die zijn methode mogelijk maken en de ervaringen die hiermee zijn opgedaan. RS
