| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-9页 |
| ·WLAN概述 | 第7页 |
| ·WLAN协议的发展历程 | 第7-9页 |
| ·WLAN协议一致性测试的意义 | 第9页 |
| ·研究内容和目的 | 第9-10页 |
| ·论文组织结构 | 第10-11页 |
| 第二章 WLAN协议一致性测试的一般理论 | 第11-21页 |
| ·协议工程学的发展 | 第11-12页 |
| ·协议工程对协议一致性测试的支持 | 第12-13页 |
| ·主要的形式化模型 | 第13-19页 |
| ·有限状态机 | 第15-16页 |
| ·扩展有限状态机 | 第16-17页 |
| ·Petri网模型 | 第17-19页 |
| ·三种形式化模型的对比 | 第19页 |
| ·一致性测试理论 | 第19-21页 |
| 第三章 基于IEEE802.11b协议一致性测试的分析 | 第21-45页 |
| ·被测实体交互消息的分析 | 第22-32页 |
| ·通用MAC帧格式 | 第22-27页 |
| ·数据帧 | 第27页 |
| ·控制帧 | 第27-28页 |
| ·管理帧 | 第28-31页 |
| ·802.11连接建立过程 | 第31-32页 |
| ·被测实体形式化建模和分析 | 第32-41页 |
| ·STA状态转移 | 第32-35页 |
| ·AP状态转移 | 第35-37页 |
| ·帧过滤 | 第37-39页 |
| ·一致性分析 | 第39-41页 |
| ·一致性测试的方法 | 第41-45页 |
| 第四章 WLAN快速切换协议一致性测试系统设计与实现 | 第45-65页 |
| ·系统的整体设计 | 第45-46页 |
| ·系统结构描述 | 第45-46页 |
| ·开发软硬件平台 | 第46页 |
| ·被动测试设计和实现 | 第46-61页 |
| ·基于winpcap的数据包捕获 | 第48-49页 |
| ·数据包过滤 | 第49-56页 |
| ·分析 | 第56-61页 |
| ·主动测试研究与分析 | 第61-65页 |
| ·TTCN-3语言简介 | 第61-63页 |
| ·主动测试整体框架 | 第63-65页 |
| 第五章 测试结果 | 第65-71页 |
| ·实验环境 | 第65-66页 |
| ·实验结果及分析 | 第66-71页 |
| 第六章 结束语 | 第71-73页 |
| ·研究总结 | 第71页 |
| ·对未来的展望 | 第71-73页 |
| 致谢 | 第73-75页 |
| 参考文献 | 第75-79页 |
| 研究成果 | 第79页 |