The Method about Test Case Generation of Routing Table Calculation in OSPF Protocol
Xin Ye · Acta Scientiarum Naturalium Universitatis Neimongol · 2001
In this paper we give the petri net model and the method of test case generation of routing table calculation in OSPF protocol. We present the method that how to use the petri net to model the protocol description and then generate test case according to the petri net model, with the example of AS external route in routing table calculation. In the end, we present the criterion of test case generation which the method used.