基于TTCN-3的协议一致性测试技术研究
| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 1 引言 | 第12-15页 |
| ·课题研究背景 | 第12-13页 |
| ·课题研究内容 | 第13页 |
| ·论文组织结构 | 第13-15页 |
| 2 相关理论和技术介绍 | 第15-34页 |
| ·协议一致性测试 | 第15-20页 |
| ·协议测试的基本概念 | 第15-16页 |
| ·协议一致性测试理论 | 第16-17页 |
| ·协议一致性测试模型 | 第17-19页 |
| ·协议一致性测试过程 | 第19-20页 |
| ·TTCN-3简介 | 第20-26页 |
| ·TTCN-3的发展 | 第20-21页 |
| ·TTCN-3核心语言和其它表示形式 | 第21-23页 |
| ·TTCN-3测试的系统结构 | 第23-24页 |
| ·TTCN-3的优点 | 第24-25页 |
| ·TTCN-3的国内外研究现状 | 第25-26页 |
| ·TTThree和TTman | 第26页 |
| ·TTThree | 第26页 |
| ·TTman | 第26页 |
| ·Eclipse平台 | 第26-34页 |
| ·Eclipse的插件机制 | 第27-30页 |
| ·插件之间的关系 | 第30-31页 |
| ·Eclipse平台插件体系结构总结 | 第31-34页 |
| 3 基于TTCN-3的协议一致性测试分析 | 第34-44页 |
| ·基于TTCN-3的协议测试过程 | 第34-35页 |
| ·基于TPI的被测系统协议适配器 | 第35-40页 |
| ·基于HTTP的应用协议 | 第37页 |
| ·无线应用协议 | 第37-40页 |
| ·通用的编码和解码器 | 第40-42页 |
| ·数据的转换过程 | 第40-41页 |
| ·数据转换的描述 | 第41-42页 |
| ·TTCN-3的编辑和运行环境 | 第42页 |
| ·基于MSC的TTCN-3编辑环境 | 第42-44页 |
| 4 TTBuilder的系统设计和实现 | 第44-75页 |
| ·系统整体设计 | 第44-45页 |
| ·基于TRI的协议适配器的设计和实现 | 第45-49页 |
| ·通用的被测系统适配器实现 | 第45页 |
| ·HTTP Server的实现 | 第45-48页 |
| ·被测协议适配器和HTTP Server的交互 | 第48-49页 |
| ·适配器的使用方式 | 第49页 |
| ·通用的编码和解码器的设计和实现 | 第49-63页 |
| ·编码/解码器的设计 | 第49-52页 |
| ·编码/解码器中的几个重要流程 | 第52-56页 |
| ·编码/解码规则的设计 | 第56-58页 |
| ·编码/解码规则的翻译 | 第58-60页 |
| ·编码/解码器的三种使用方式 | 第60-62页 |
| ·编码/解码器的可测试性 | 第62-63页 |
| ·TTCN-3的编辑和运行环境的设计和实现 | 第63-70页 |
| ·TTCN-3工程 | 第63-65页 |
| ·TTCN-3的编辑环境 | 第65-68页 |
| ·TTCN-3的运行环境 | 第68-70页 |
| ·基于MSC的TTCN-3编辑环境的设计和实现 | 第70-75页 |
| 5 TTBuilder的测试和应用 | 第75-78页 |
| ·测试步骤 | 第75页 |
| ·被测协议简介 | 第75页 |
| ·抽象测试套(ATS)的编写 | 第75-77页 |
| ·编码和解码规则的配置 | 第77页 |
| ·测试套的编译和执行 | 第77-78页 |
| 6 结论 | 第78-79页 |
| 参考文献 | 第79-81页 |
| 在学研究成果 | 第81-82页 |
| 致谢 | 第82页 |
