Formal description of mobile IPv6 protocol

被引：0

作者：

Zhang, YJ ^{[1
]}

Li, ZC ^{[1
]}

机构：

[1] Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China

来源：

FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005 | 2005年 / 3731卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：538 / 541

页数：4