| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 引言 | 第8-10页 |
| ·论文研究背景及研究现状 | 第8页 |
| ·论文研究的工作及意义 | 第8-9页 |
| ·论文的结构安排 | 第9-10页 |
| 第二章 通信软件的形式化描述与自动生成 | 第10-22页 |
| ·通信软件开发中面临的问题及解决方法 | 第10-11页 |
| ·通信软件开发中面临的问题 | 第10页 |
| ·形式化描述方法与软件自动生成 | 第10-11页 |
| ·当前主要的协议描述方法 | 第11-14页 |
| ·FSM | 第11-12页 |
| ·ESTELLE | 第12页 |
| ·LOTOS | 第12页 |
| ·SDL 和MSC | 第12-14页 |
| ·各种方法的比较和研究 | 第14页 |
| ·基于SDL 的自动生成方法 | 第14-21页 |
| ·SDL 介绍 | 第14-17页 |
| ·SDL 与C/C++转换 | 第17-19页 |
| ·Telelogic Tau 工具介绍 | 第19-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 通信软件自动测试技术研究 | 第22-41页 |
| ·软件测试概述 | 第22-30页 |
| ·软件测试的原则 | 第22页 |
| ·软件测试方法和测试内容 | 第22-23页 |
| ·协议测试 | 第23-30页 |
| ·抽象测试集的生成方法 | 第30-34页 |
| ·基于FSM 的测试集生成方法 | 第30-31页 |
| ·基于ESTELLE 的测试集生成方法 | 第31-32页 |
| ·基于LOTOS 的测试集生成方法 | 第32-33页 |
| ·基于SDL 和MSC 的测试集生成方法 | 第33页 |
| ·几种方法的比较 | 第33-34页 |
| ·TTCN-3 测试语言 | 第34-40页 |
| ·TTCN-3 语言的产生 | 第34页 |
| ·TTCN-3 主要特性 | 第34-35页 |
| ·TTCN-3 语义表示 | 第35-39页 |
| ·TTCN-3 的测试结构 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 基于SDL 的MGCF 系统设计与测试过程 | 第41-71页 |
| ·MGCF 功能实体简介 | 第41-47页 |
| ·MGCF 简介 | 第41-42页 |
| ·IMS 与基于SIP 的VOIP 互连 | 第42-43页 |
| ·MGCF 呼叫流程 | 第43-47页 |
| ·基于SDL 的MGCF 系统设计 | 第47-60页 |
| ·系统结构概述 | 第48页 |
| ·系统定义 | 第48-49页 |
| ·功能块的定义 | 第49-50页 |
| ·进程的定义 | 第50-55页 |
| ·过程的定义 | 第55-56页 |
| ·信道的定义 | 第56页 |
| ·信号路由的定义 | 第56-57页 |
| ·SDL 与C/C++混编 | 第57-58页 |
| ·数据类型的定义 | 第58-60页 |
| ·系统的测试与仿真 | 第60-70页 |
| ·Simuator(仿真) | 第61-65页 |
| ·Validator(验证) | 第65-67页 |
| ·TTCN-3 测试集自动生成 | 第67-70页 |
| ·本章小结 | 第70-71页 |
| 第五章 MGCF 系统代码自动生成与测试 | 第71-83页 |
| ·MGCF 代码自动生成 | 第71-72页 |
| ·人工编写TTCN-3 测试例 | 第72-81页 |
| ·TTCN-3 核心语言测试例概述 | 第73-74页 |
| ·通信接口定义 | 第74页 |
| ·消息结构定义 | 第74-77页 |
| ·消息模板的定义与赋值 | 第77页 |
| ·测试步的编写 | 第77-78页 |
| ·控制语句 | 第78页 |
| ·测试例执行 | 第78-81页 |
| ·本章小节 | 第81-83页 |
| 第六章 总结与展望 | 第83-85页 |
| ·论文总结 | 第83页 |
| ·展望 | 第83-85页 |
| 致谢 | 第85-86页 |
| 参考文献 | 第86-88页 |
| 攻读硕士学位期间参加的科研项目和发表的论文 | 第88页 |