A Concurrent TTCN Based Approach to Conformance Testing of Distributed Routing Protocol OSPF V2.

J Bi,JP Wu,XH Chen
DOI: https://doi.org/10.1109/icccn.1998.998839
1998-01-01
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.
What problem does this paper attempt to address?