Hierarchy Protocol Description and Test Genration Method for Mobile IPv6 Testing

ZHANG Yu-jun; LI Zhong-cheng

您当前的位置：

首页 >

文章列表页 >

Hierarchy Protocol Description and Test Genration Method for Mobile IPv6 Testing

更新时间：2025-07-16

- Hierarchy Protocol Description and Test Genration Method for Mobile IPv6 Testing
- Acta Electronica Sinica Vol. 32, Issue S1, Pages: 30-34(2004)
- 作者机构：
  
  中国科学院计算技术研究所,北京,100080
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393
- Published：2004
- 稿件说明：
移动端阅览
ZHANG Yu-jun, LI Zhong-cheng. Hierarchy Protocol Description and Test Genration Method for Mobile IPv6 Testing[J]. Acta Electronica Sinica, 2004, 32(S1): 30-34.
DOI：

ZHANG Yu-jun, LI Zhong-cheng. Hierarchy Protocol Description and Test Genration Method for Mobile IPv6 Testing[J]. Acta Electronica Sinica, 2004, 32(S1): 30-34. DOI：

摘要

移动IPv6协议是一种庞大的分布式协议

这为协议描述和测试生成带来了困难.提出分层次描述协议的思想

定义了描述协议的有限状态机和多节点有限状态机模型

分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述.把描述协议的状态机模型转化为有向图

设计了针对有向图的测试序列集产生算法

最终生成了覆盖整个移动IPv6协议的测试序列集.

Abstract

Mobile IPv6 is complicated and distributed

which makes it difficult to describe protcol and generate test sequences.The idea of hierarchy 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 protocol performing procedure

mobile IPv6 nodes

internal data structure management and discrete functions.The state goto graphes are changed into directed graph.Test generation algorithm for directed graph is designed and the set of test sequences covering mobile IPv6 is generated.

关键词

Keywords

references

Views

973

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Test Stimulus Optimization Design of Analog Circuit Based on Random Periodic Stimulus Function

Research on the Mobility Management Scheme in Future Internet

Novel Scheme Based on Mobile Node Hands Over Frequently between PAR and NAR for Predictive Fast Handovers for Mobile IPv6

The Study and Implementation of Mobile IPv6 Header Compression in Wireless Networks

Analysis of Hierarchical Management Cost of Mobile IPv6 and Adaptive Optimization

Related Author

JIANG Yuan-yuan

LIN Hua

WANG You-ren

LUO Hui

DONG Ping

YANG Dong

QIN Ya-juan

ZHANG Hong-ke

Related Institution

College of Automation Engineering, Nanjing University of Aeronautics and Astronautics

School of Electronics and Information Engineering, Beijing Jiaotong University

School of Computer Science and TechnologyHe’nan Polytechnic UniversityJiaozuo 454000China

School of Computer Science and TechnologyJilin UniversityChangchun

School of Computer Science and Technology, He’nan Polytechnic University

⁰