Hierarchy protocol description and test generation method for mobile IPv6 testing

Tien Tzu Hsueh Pao/Acta Electronica Sinica

Volumn 32, Issue SUPPL., 2004, Pages 30-34

  Zhang, Yu Jun ^a   Li, Zhong Cheng ^a  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Conformance testing; Mobile IPv6; Protocol description; Test generation

Indexed keywords

CONFORMAL MAPPING; DATA DESCRIPTION; DATA STRUCTURES; HIERARCHICAL SYSTEMS; MOBILE TELECOMMUNICATION SYSTEMS; TESTING;

CONFORMANCE TESTING; DESCRIBE PROTOCOL PERFORMING PROCEDURE; FINITE STATE MACHINE (FSM); HIERARCHY PROTOCOL; MOBILE IPV6; MULTINODE FINITE STATE MACHINE (MN-FSM); PROTOCOL DESCRIPTION; TEST GENERATION ALGORITHM;

NETWORK PROTOCOLS;

EID: 18744415989     PISSN: 03722112     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. D Johnson, et al. Mobility Support in IPv6[S]. IETF RFC 3775, 2004.
2. IT-OSI-Conformance testing methodology and framework [S]. ISO/IEC 9646, 1996.
3. Ural H, et al. A uniform test derivation method for Estelle, LOTOS and SDL[A]. ISO/IEC JTC1/SC21/WG1 meeting on Formal Methods in Conformance Testing[C]. 1993.
4. S Kent. et al. Security Architecture for the Internet Protocol[S]. IETF RFC 2401, 1998.