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

fYear

1998

fDate

12-15 Oct 1998

Firstpage

760

Lastpage

767

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Communications and Networks, 1998. Proceedings. 7th International Conference on

Conference_Location

Lafayette, LA

ISSN

1095-2055

Print_ISBN

0-8186-9014-3

Type

conf

DOI

10.1109/ICCCN.1998.998839

Filename

998839