摘要
移动IPv6协议是一种庞大的分布式协议 ,这为协议描述和测试生成带来了困难 .提出分层次描述协议的思想 ,定义了描述协议的有限状态机和多节点有限状态机模型 ,分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述 .把描述协议的状态机模型转化为有向图 ,设计了针对有向图的测试序列集产生算法 ,最终生成了覆盖整个移动IPv6协议的测试序列集 .
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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2004年第F12期30-34,共5页
Acta Electronica Sinica
基金
国家 8 63计划项目 (No .2 0 0 1AA1 2 1 0 1 5)
关键词
移动IPV6
一致性测试
协议描述
测试生成
mobile IPv6
conformance testing
protocol description
test generation
