A Formal Method about Conformance Testing of Router Protocol

In order to do conformance testing, we describe a standard router information protocol (RIP protocol) of Internet using formal description technology E LOTOS.Then we translate textual E LOTOS into GE LOTOS and produce TTCN test case.