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.
This work has been supported by National Natural Foudation of China under Grant No. 69682002 and No. 69725003.
Chapter PDF
Similar content being viewed by others
References
A.Ulrich, L.Logrippo and J. Meer, “An approach to testing distributed software systems”, 15th Int. Conference on Protocol Specification, Testing and Verification, IFIP, 1995.
A.A.F. Loureiro and S.T. Chanson, “Checking unstable properties in distributed testing of communication protocols”, 10th Int. Workshop on Testing of Communicating Systems, IFIP, 1996.
A.C.Y. Wong, S.T.Chanson, S.C. Cheung, and H.Fuchs, “An framework for distributed object-oriented testing”, 10th Int. Conference on Formal Description Techniques for Distributed Systems, IFIP, 1997.
J. Moy, OSPF version 2, RFC 2328, 1998.
J. Wu and S.T.Chanson, “Testing sequence derivation based on external behavior expression”, 2nd Int. Workshop on Protocol Test Systems, IFIP, 1989.
J. Wu and S.T.Chanson, “Translation from LOTOS and Estelle specifications to extended transition system and its verification”, 2nd Int. Conference on Formal Description Techniques for Distributed Systems, IFIP, 1989.
J. Derrick, E. Boiten, H. Bowman and M. Steen, “Supporting ODP - translating LOTOS to Z”, 1st Int. Workshop on Formal Methods for Open Objet-based Distributed Systems, IFIP, 1996.
R. Hao and J. Wu, “A formal approach to protocol interoperability testing”, 6th Singapore International Conference on Networks, IEEE, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bi, J., Wu, J. (1999). A Formal Approach to Conformance Testing of Distributed Routing Protocols. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive