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

第 12A 期 电　　子 　　学 　　报 Vol . 32 　No . 12A 　2004 年 12 月 ACTA ELECTRONICA SINICA Dec . 　2004 　 移动 IPv6 测试中的层次化协议描述和测试生成方法 张玉军 ,李忠诚 ( 中国科学院计算技术研究所 ,北京 100080) 　　摘 　要 : 　移动 IPv6 协议是一种庞大的分布式协议 ,这为协议描述和测试生成带来了困难. 提出分层次描述协议 的思想 ,定义了描述协议的有限状态机和多节点有限状态机模型 ,分四个层次分别对协议运行流程 、协议节点类型 、内 部数据结构处理 、离散功能进行了形式化描述. 把描述协议的状态机模型转化为有向图 ,设计了针对有向图的测试序 列集产生算法 ,最终生成了覆盖整个移动 IPv6