| 第一章 绪论 | 第1-9页 |
| ·论文工作背景和意义 | 第7页 |
| ·论文工作内容和安排 | 第7-9页 |
| 第二章 网络协议测试的概念和背景 | 第9-19页 |
| ·协议测试介绍 | 第9页 |
| ·OSI一致性测试 | 第9-14页 |
| ·一致性测试的理论模型 | 第9-10页 |
| ·一致性测试方法 | 第10-13页 |
| ·测试执行的方法 | 第13-14页 |
| ·TREE AND TABULAR COMBINED NOTATION(TTCN) | 第14-15页 |
| ·一致性测试的基本组成部分 | 第15-16页 |
| ·一致性需求(Conformance Requirement) | 第15页 |
| ·测试流程 | 第15-16页 |
| ·互操作性测试 | 第16-19页 |
| 第三章 蓝牙协议的一致性测试 | 第19-27页 |
| ·L2CAP一致性测试解决方案 | 第19-22页 |
| ·概述 | 第19-20页 |
| ·基于协调测试法的一致性测试构架 | 第20-21页 |
| ·测试控制观察过程 | 第21-22页 |
| ·测试环境配置和实现 | 第22页 |
| ·SDP一致性测试解决方案 | 第22-24页 |
| ·概述 | 第22-23页 |
| ·基于远程测试法的一致性测试构架 | 第23页 |
| ·测试控制观察过程 | 第23-24页 |
| ·测试环境配置和实现 | 第24页 |
| ·GAP一致性测试解决方案 | 第24-26页 |
| ·概述 | 第24-25页 |
| ·基于分布式测试法的一致性测试构架 | 第25页 |
| ·测试控制观察过程 | 第25页 |
| ·测试环境配置和实现 | 第25-26页 |
| ·小结 | 第26-27页 |
| 第四章 蓝牙协议测试仪的实现 | 第27-47页 |
| ·自动化测试工具分析 | 第27页 |
| ·蓝牙一致性测试仪的实现 | 第27-35页 |
| ·用户界面部分设计 | 第28页 |
| ·测试仪系统消息流图 | 第28-29页 |
| ·应用层子系统 | 第29页 |
| ·自动化测试支持层子系统 | 第29-30页 |
| ·一致性测试支持层子系统 | 第30-32页 |
| ·硬件接口层子系统 | 第32-35页 |
| ·蓝牙协议一致性测试仪的最终实现 | 第35-38页 |
| ·蓝牙互操作性测试仪的实现 | 第38-42页 |
| ·互操作性测试仪的特点 | 第38页 |
| ·ActiveX Scripting技术背景 | 第38-39页 |
| ·ActiveX Scripting结构 | 第39-40页 |
| ·基于ActiveX Scripting技术的测试系统开发 | 第40-42页 |
| ·PICS和PIXIT模块的实现 | 第42-45页 |
| ·总结 | 第45-47页 |
| 第五章 基于协议形式化描述的自动测试研究 | 第47-61页 |
| ·形式化方法在协议测试中的应用 | 第47-49页 |
| ·协议的形式化描述 | 第47-48页 |
| ·消息序列图(Message Sequences Chart, MSC) | 第48-49页 |
| ·有限状态机(FSM) | 第49页 |
| ·扩展自动机(EFSM) | 第49页 |
| ·基于有限状态自动机的测试 | 第49-50页 |
| ·Distinguishing sequences | 第50页 |
| ·Characterizing sequences | 第50页 |
| ·Unique input/output (UIO) sequences | 第50页 |
| ·OBEX协议的形式化描述 | 第50-52页 |
| ·相对SDL的优势 | 第52-53页 |
| ·测试序列的生成 | 第53-55页 |
| ·分析工具TCGEN的实现 | 第55-58页 |
| ·AD HOC的测试序列分析 | 第58-61页 |
| 第六章 结束语 | 第61-67页 |
| ·结论 | 第61页 |
| ·进一步工作 | 第61-67页 |
