Modeling, verifying and testing the mobility management in the mobile IPv6 protocol

Mobility systems are complex. They are composed of several distributed, heterogeneous and obviously mobile components. This paper deals with mobility protocols modeling, verification and testing using the SDL approach. A well suited model is proposed to handle the component-based nature of Mobile systems. We show that the chosen model allows to verify mobility mechanisms as well as to perform conformance and interoperability testing. The solution suggested to derive the test cases in the new testing language TTCN-3 is described.