A Formal Approach to Conformance Testing of Internet Routing Protocols

BI Jun,WU Jian-ping
DOI: https://doi.org/10.13328/j.cnki.jos.2000.04.001
2000-01-01
Journal of Software
Abstract:Concurrent TTCN (tree and tabular combined notation) is a test notation that can handle concurrent test behaviors. This paper proposes an approach to the conformance testing of distributed routing protocols based on concurrent TTCN. It first discusses the test architecture for the routing protocol entity, and then the concurrent TTCN based test system design is presented. Finally, this paper introduces the test suite design.
What problem does this paper attempt to address?