By Topic

A concurrent TTCN based approach to conformance testing of distributed routing protocol OSPF v2

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Bi, Jun ; Dept. of Comput. Sci., Tsinghua Univ., Beijing, China ; Jianping Wu ; Xiuhuan Chen

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

Published in:

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

Date of Conference:

12-15 Oct 1998