A Formal Approach To Conformance Testing Of Distributed Routing Protocols

J Bi,Jp Wu
DOI: https://doi.org/10.1007/978-0-387-35578-8_9
1999-01-01
Abstract:This paper proposes a formal approach to conformance testing for OSPF v2, a widely used distributed routing protocol in Internet. Routing is performed in a distributed way, and, consequently, testing is more involved. For routing function testing concurrent TTCN handles concurrent test behaviors and is suitable for our needs. We first discuss a concurrent TTCN based OSPF test architecture. Then we present a specification model CEBE to specify an OSPF entity and to generate (combine the data and control flow) test suite. Finally, we design and implement a concurrent TTCN based test system to test OSPF implementations.
What problem does this paper attempt to address?