Title :
A concurrent TTCN based approach to conformance testing of distributed routing protocol OSPF v2
Author :
Bi, Jun ; Wu, Jianping ; Chen, Xiuhuan
Author_Institution :
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
Abstract :
This paper proposes an formal approach to conformance testing for OSPF v2, a widely used distributed routing protocol in the Internet. The routing function is performed in a distributed system, thus the testing is more complex than the traditional peer-to-peer protocol. The concurrent TTCN is a test notation that can handle concurrent test behavior and it is suitable for the routing function testing. We first discuss a concurrent TTCN based OSPF test architecture. Then we formally define and implement a concurrent TTCN based test system based on an extension of the LTS (labelled transition system). Finally, we present a specification model, the CEBE, to specify an OSPF entity and to generate (combine the data and control flow) test suite
Keywords :
Internet; conformance testing; formal verification; telecommunication network routing; transport protocols; CEBE; Internet; OSPF entity; OSPF test architecture; OSPF v2; concurrent TTCN; conformance testing; control flow test suite; data test suite; distributed routing protocol; distributed system; formal approach; labelled transition system; peer-to-peer protocol; routing function testing; specification model; test notation; Bismuth; Computer science; Databases; Internet; Manufacturing; Peer to peer computing; Performance evaluation; Routing protocols; Stability; System testing;
Conference_Titel :
Computer Communications and Networks, 1998. Proceedings. 7th International Conference on
Conference_Location :
Lafayette, LA
Print_ISBN :
0-8186-9014-3
DOI :
10.1109/ICCCN.1998.998839
