HMIPv6协议形式化建模及测试例生成方法研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 引言 | 第12-15页 |
| ·研究背景 | 第12-13页 |
| ·论文的创新性和主要工作概述 | 第13页 |
| ·论文的整体结构和章节安排 | 第13-15页 |
| 第二章 HMIPv6协议概述 | 第15-25页 |
| ·相关术语 | 第16-17页 |
| ·HMIPv6协议概述 | 第17-19页 |
| ·移动IPv6扩展-本地绑定更新 | 第19-20页 |
| ·邻居发现扩展-MAP选项 | 第20-21页 |
| ·HMIPv6协议操作 | 第21-23页 |
| ·移动节点操作 | 第21-23页 |
| ·发送数据包到通信节点 | 第22-23页 |
| ·MAP操作 | 第23页 |
| ·本章小结 | 第23-25页 |
| 第三章 Coloured Petri Nets | 第25-34页 |
| ·CPNs概述 | 第25-26页 |
| ·CPNs的形式化定义 | 第26-28页 |
| ·CPN Tools | 第28-29页 |
| ·与其他形式化描述技术的比较 | 第29-32页 |
| ·本章小结 | 第32-34页 |
| 第四章 HMIPv6协议的CPNs模型 | 第34-42页 |
| ·数据模型 | 第34-35页 |
| ·宏移动模型 | 第35-39页 |
| ·微移动模型 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第五章 状态空间 | 第42-49页 |
| ·状态空间简述 | 第42页 |
| ·宏移动模型状态空间 | 第42-47页 |
| ·微移动模型状态空间 | 第47页 |
| ·本章小结 | 第47-49页 |
| 第六章 基于属性的测试例生成 | 第49-73页 |
| ·基于属性的测试例生成算法 | 第50-63页 |
| ·属性的定义 | 第50-53页 |
| ·属性的状态空间投影操作 | 第53-56页 |
| ·测试例生成算法 | 第56-57页 |
| ·测试例生成算法示例 | 第57-63页 |
| ·测试例自动生成工具 | 第63-72页 |
| ·CPNs模型的两种表现形式 | 第63-66页 |
| ·重构状态空间 | 第66-69页 |
| ·自动生成测试例 | 第69-72页 |
| ·与其他测试例生成方法的比较 | 第72页 |
| ·本章小结 | 第72-73页 |
| 第七章 结束语 | 第73-75页 |
| ·论文工作总结 | 第73页 |
| ·下一步研究工作 | 第73-75页 |
| 参考文献 | 第75-78页 |
| 致谢 | 第78页 |
