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

• 作者: 张玉军 李忠诚
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 移动IPv6 一致性测试 协议描述 测试生成
• 年，卷（期）: 2004,（z1）
• 页码范围: 30-34
• 分类号: TP393
• 字数: 6021字
• 语种: 中文

摘要

移动IPv6协议是一种庞大的分布式协议,这为协议描述和测试生成带来了困难.提出分层次描述协议的思想,定义了描述协议的有限状态机和多节点有限状态机模型,分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述.把描述协议的状态机模型转化为有向图,设计了针对有向图的测试序列集产生算法,最终生成了覆盖整个移动IPv6协议的测试序列集.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李忠诚	中国科学院计算技术研究所	109	1470	22.0	33.0
2	张玉军	中国科学院计算技术研究所	140	2294	25.0	41.0