Abstract
Formal technique is the basis of automatic test generation. Mobile IPv6 is a complicated and distributed protocol with many discrete behaviors. It is difficult to describe the entire protocol by some formal model. The idea of hierarchical protocol description is proposed. Finite state machine (FSM) and multi-node finite state machine (MN-FSM) are defined. Mobile IPv6 protocol is divided into four layers. FSM and MN-FSM are used to describe network system, mobile IPv6 nodes, inner data structure management and discrete behaviors. Test sequences can be generated automatically based on these formal models.
Chapter PDF
Similar content being viewed by others
References
Johnson, D., Perkins, C., Arkko, J.: Mobility Support in IPv6. IETF RFC 3775 (2004)
ISO/IEC 9646: IT-OSI-Conformance Testing Methodology and Framework (1996)
Wu, J.: Formal Methods for Protocol Engineering and Distributed Systems. Kluwer Academic Publishers, Dordrecht (2001)
Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines - a survey. Proceedings of the IEEE 8, 1090–1123 (1996)
Zhang, Y., Li, Z.: IPv6 Conformance Testing: Theory and Practice. IEEE ITC, 719–727 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Zhang, Y., Li, Z. (2005). Formal Description of Mobile IPv6 Protocol. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_41
Download citation
DOI: https://doi.org/10.1007/11562436_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)