OSPFv2 Testsuite for the SSFnet simulation framework

This site contains material about my master's thesis, which I worked on in 2001 in the Computer Networking Group at the University of Saarbruecken.

Abstract

In order to make predictions about how large networks behave on configuration changes, one is dependent of having appropriate simulations of such large scenarios. Especially the correct simulation of routing and the routing protocols found in the Internet is crucial for these simulations. The Scalable Simulation Framework (SSF) is a network simulator, which was explicitly designed for the simulation of large networks and includes implementations of the two widely used routing protocols BGP and OSPF. Because routing plays such a central role, it must be assured, that the implementations of the routing protocols are conformant to their specifications. This thesis discusses different approaches to conformance testing and presents methods for the selection of test cases. Routing protocols in general and OSPF in special are analyzed with respect to conformance testing and several OSPF test suites are presented. Finally a conceptual framework for testing within SSFNet simulation framework is proposed and a test suite for OSPF is implemented using these concepts.