移动IPv6测试中的层次化协议描述和测试生成方法

张玉军; 李忠诚

您当前的位置：

首页 >

文章列表页 >

移动IPv6测试中的层次化协议描述和测试生成方法

论文 | 更新时间：2025-07-16

- 移动IPv6测试中的层次化协议描述和测试生成方法
- Hierarchy Protocol Description and Test Genration Method for Mobile IPv6 Testing
- 电子学报 2004年32卷第S1期页码：30-34
- 作者机构：
  
  中国科学院计算技术研究所,北京,100080
- 作者简介：
- 基金信息：
  
  国家863计划项目 (No.2001AA121015)
- DOI：
  中图分类号： TP393
- 纸质出版：2004
- 稿件说明：
移动端阅览
张玉军, 李忠诚. 移动IPv6测试中的层次化协议描述和测试生成方法[J]. 电子学报, 2004,32(S1):30-34.

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.
张玉军, 李忠诚. 移动IPv6测试中的层次化协议描述和测试生成方法[J]. 电子学报, 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

浏览量

973

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

任意周期激励函数的模拟电路测试激励优化设计

新一代互联网移动管理机制研究

基于移动节点在PAR和NAR间频繁切换的预测式快速移动IPv6新方案

无线网络中移动IPv6头标压缩的研究与实现

移动IPv6分层管理费用的分析与自适应优化