1. Introduction
Routing protocols play a crucial role in computer networks. However, there are few efficient test methods of Routing Protocol Implementations (RPI). For routing algorithms and protocols, researchers often set up a mathematical model to analyze the theoretical characteristics, and then validate the results with simulations [1] [2] [3]. Because computer network systems have the complex characteristics combined with multiple states and randomicity, it is difficult to model them and obtain their characteristics precisely, Furthermore, analyses and simulations cannot measure the characteristics of RPI or implemented systems.