|
|||||
|
|
| 移动IPv6测试中的层次化协议描述和测试生成方法 | |
| 引用本文： | 张玉军,李忠诚.移动IPv6测试中的层次化协议描述和测试生成方法[J].电子学报,2004,32(F12):30-34. |
| 作者姓名： | 张玉军 李忠诚 |
| 摘 要： | 移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多节点有限状态机模型，分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述．把描述协议的状态机模型转化为有向图，设计了针对有向图的测试序列集产生算法，最终生成了覆盖整个移动IPv6协议的测试序列集． |
| 关 键 词： | 移动IPv6 一致性测试 协议描述 测试生成 |
| 本文献已被 维普 等数据库收录！ | |