DocumentCode :
3443830
Title :
Modeling, verifying and testing the mobility management in the mobile IPv6 protocol
Author :
Noudem, Francine Ngani ; Viho, César
Author_Institution :
IRISA, Rennes I Univ.
Volume :
2
fYear :
2005
fDate :
15-17 June 2005
Firstpage :
619
Lastpage :
626
Abstract :
Mobility systems are complex. They are composed of several distributed, heterogeneous and, obviously, mobile components. The paper deals with the modeling, verification and testing of mobility protocols 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 the verification of mobility mechanisms and the performance of conformance and interoperability testing. The solution suggested to derive the test cases in the new testing language, TTCN-3, is described
Keywords :
conformance testing; mobility management (mobile radio); protocols; specification languages; telecommunication computing; Mobile IPv6 protocol; SDL; conformance testing; interoperability testing; mobility management modeling; mobility management testing; mobility management verification; mobility protocols; testing language; Access protocols; Automatic testing; Costs; Formal specifications; Internet; Mobile radio mobility management; Performance evaluation; System testing; Telecommunication control; Telecommunication standards;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Telecommunications, 2005. ConTEL 2005. Proceedings of the 8th International Conference on
Conference_Location :
Zagreb
Print_ISBN :
953-184-081-4
Electronic_ISBN :
953-184-084-9
Type :
conf
DOI :
10.1109/CONTEL.2005.185970
Filename :
1458649
Link To Document :
بازگشت