Loading...

Analysis and Evaluation of Routing Protocols Conformance Test

Tabatabaee, Hosein | 2013

672 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 44880 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Jahangir, Amir Hossein
  7. Abstract:
  8. Nowadays, one of the problems of network designers and users is the correctness of network equipment functionality. Since routers play an important role in information transfer between various networks and communicate with each other through a routing protocol, any violation of such protocol can result in the network's failure or defective transfer of data. Thus, being assured of the conformance of the implemented protocol in a router with what has been defined in the protocol's standard is of great significance. To this end, before using or exposing a router, network equipment testers should run protocol conformance tests on it and insure its correct functionality. This brings up the question how fault-free are the model and procedure used by the tester program itself to run the tests? If the answer is not clear, how could the test results be trusted? In this project, we present a method for assuring the functionaly correctness of network tester equipment in the domain of conformance test and try to reveal and criticize the probable flaws and weaknesses of a tester device in its suggested scenarios. To this end, we utilize Timed Automata and its model checking instrument, UPPAAL, and show how far the test cases of the tester device fulfill the requirements dictated by the network communication protocol (OSPF) in conformance testing. In order to accomplish this, we will focus on the final outcomes of the defined tests for the tester and assess their validity and their authenticity. The results of our analyses and experiments have uncovered parts of the weaknesses in the existing test scenarios
  9. Keywords:
  10. Verification ; Open Shortest Path First (OSPF)Routing Protocol ; Formal Modeling ; Model Cheking ; Test Case ; Timed Automata ; Conformance Test

 Digital Object List

 Bookmark