| The background of the work presented in this dissertation is two research projects concerning IPv6-based router testing and Single physical layer User-data transfer Platform Architecture (SUPA). The reason for selection of the routing information exchange protocol - OSPF (Open Shortest Path First) is twofold. Firstly, it can be used as a testing target for IP routers for its popularity; secondly, it is comparatively complex protocol hence good for experimenting modeling techniques in protocol analysis and implementation. For its object-oriented feature and convenient graphic interfaces, the Unified Modeling Language (UML) is chosen as the modeling tool in this work.The dissertation provides a detailed analysis to OSPF operation mechanisms and models for its main protocol mechanisms (link state database, neighbor discovery, database exchange, and etc,). A partial implementation of OSPF is also provided based on the analysis and modeling. Main models presented in this thesis include Use Case model, Static O-O Structure model, and Dynamic Behavior model. Finally, test process and preliminary test result to the partial implementation in the Linux environment, are briefly discussed, which have shown that the implementation piteses the basic functions required by OSPF.The author has been convinced through the practice of analyzing and modeling the OSPF with UML, that use of UML is helpful in providing a blue print for protocol implementation and in making the resultant implementation maintainable, extendable, reusable and transportable.The author's main contributions in this dissertation include:A. To deal with ramification analysis problems in complex protocols by use of Use Case model and detailed Use Case description.B. To analyze interface state machines and neighbor state machines in OSPF analysis and modeling by use of UML Statechart Diagram, refine them by use of the concept of "composite state", and provide an analysis to implementation mechanisms.
|
PDF Full Text Request