| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 第一章 引言 | 第8-11页 |
| ·协议测试 | 第8页 |
| ·TTCN-3(THE TESTING AND TEST CONTROL NOTATION VERSION 3) | 第8-9页 |
| ·测试工具现状 | 第9页 |
| ·研究目标 | 第9-10页 |
| ·开发工具及开发环境 | 第10-11页 |
| 第二章 相关背景知识 | 第11-22页 |
| ·协议测试 | 第11页 |
| ·测试描述语言TTCN-3简介 | 第11-20页 |
| ·端口、测试成分和测试配置(test configurations) | 第13-15页 |
| ·类型、运算符、基本程序语句和函数 | 第15-16页 |
| ·模板、消息、过程签名(signature)及匹配机制 | 第16-17页 |
| ·行为语句 | 第17-20页 |
| ·相关编译理论 | 第20-22页 |
| ·编译过程及编译程序结构 | 第20页 |
| ·编译过程概述 | 第20-22页 |
| 第三章 TTCN-3编译器的整体设计 | 第22-31页 |
| ·准备工作 | 第22-23页 |
| ·改写规则 | 第22-23页 |
| ·整体设计思路 | 第23-28页 |
| ·主控模块的设计 | 第24-28页 |
| ·中间代码 | 第28-31页 |
| ·程序结构组织伪操作 | 第28-29页 |
| ·操作码 | 第29-31页 |
| 第四章 词法分析器的实现 | 第31-38页 |
| ·词法分析的结构设计 | 第31-33页 |
| ·ALEX原理 | 第31-32页 |
| ·LEX源程序的结构 | 第32页 |
| ·词法分析器的对象模型 | 第32-33页 |
| ·TTCN-3中单词符号的构造 | 第33-36页 |
| ·设计过程中的一些处理 | 第36-38页 |
| 第五章 TTCN-3语义的设计和实现 | 第38-64页 |
| ·语义设计前的工作 | 第38-40页 |
| ·TTCN-3部分语义的设计 | 第40-54页 |
| ·动态声明语句的处理 | 第40-43页 |
| ·配置操作的翻译(configuration statements) | 第43-46页 |
| ·通信操作(Communication operations) | 第46-54页 |
| ·行为语句(BEHAVIOURAL PROGRAM STATENENTS) | 第54-59页 |
| ·alt语句 | 第54-58页 |
| ·repeat语句 | 第58-59页 |
| ·缺省机制(DEFAULT MECHANISM) | 第59-62页 |
| ·定时器操作(TIMER OPERATIONS) | 第62-63页 |
| ·小结 | 第63-64页 |
| 结论 | 第64-65页 |
| 致谢 | 第65-66页 |
| 参考文献 | 第66页 |
