| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 引言 | 第10-14页 |
| ·课题研究背景 | 第10-11页 |
| ·课题研究内容和创新点 | 第11-12页 |
| ·论文的结构 | 第12-14页 |
| 第二章 相关基础 | 第14-23页 |
| ·CORBA的基本概念 | 第14-17页 |
| ·CORBA | 第14页 |
| ·接口定义语言 | 第14-15页 |
| ·接口库 | 第15-17页 |
| ·UML2.0和XMI | 第17-18页 |
| ·UML简介 | 第17页 |
| ·XMI文件格式 | 第17-18页 |
| ·TTCN-3 | 第18-21页 |
| ·TTCN-3的基本介绍 | 第18-19页 |
| ·TTCN-3测试套的结构 | 第19-20页 |
| ·TTCN-3的系统结构 | 第20-21页 |
| ·模型驱动构架简介 | 第21页 |
| ·相关工具简介 | 第21-22页 |
| ·TTworkbench简介 | 第21-22页 |
| ·MSXML DOM简介 | 第22页 |
| ·Enterprise Architect简介 | 第22页 |
| ·小结 | 第22-23页 |
| 第三章 基于IDL和UML序列图的TTCN-3测试套的生成规则设计 | 第23-38页 |
| ·生成规则设计概述 | 第23-24页 |
| ·IDL中内置数据的生成规则 | 第24页 |
| ·IDL中自定义数据类型的生成规则 | 第24-27页 |
| ·结构类型的生成规则 | 第24-25页 |
| ·枚举类型的生成规则 | 第25页 |
| ·序列类型的生成规则 | 第25页 |
| ·字符串类型的生成规则 | 第25页 |
| ·数组类型的生成规则 | 第25-26页 |
| ·联合类型的生成规则 | 第26页 |
| ·定点数类型的生成规则 | 第26-27页 |
| ·别名定义类型的生成规则 | 第27页 |
| ·接口部分的生成规则 | 第27-29页 |
| ·操作测试的生成规则 | 第29-31页 |
| ·属性测试的生成规则 | 第31-33页 |
| ·只读属性的生成规则 | 第31-32页 |
| ·可读写属性的生成规则 | 第32-33页 |
| ·模块的生成规则 | 第33-34页 |
| ·IDL中特殊数据类型的生成规则 | 第34-35页 |
| ·模块之间有包含关系的生成规则 | 第35-36页 |
| ·测试数据的生成策略 | 第36页 |
| ·测试判定的生成策略 | 第36页 |
| ·UML序列图到TTCN-3的生成规则 | 第36-37页 |
| ·小结 | 第37-38页 |
| 第四章 基于IDL和UML序列图的TTCN-3测试套的生成器的设计与实现 | 第38-53页 |
| ·实现生成器的基本构思 | 第38页 |
| ·TTCN-3测试套生成器的功能结构设计 | 第38-41页 |
| ·TTCN-3测试套生成器的执行过程 | 第41-43页 |
| ·生成器所用文件说明 | 第43-44页 |
| ·存储接口中扫描到的信息 | 第44-47页 |
| ·建立数据类型表 | 第44-45页 |
| ·建立属性信息表 | 第45-46页 |
| ·建立操作相关信息表 | 第46-47页 |
| ·存储UML序列图中扫描到的信息 | 第47-48页 |
| ·程序中函数的说明 | 第48-51页 |
| ·ifrPrinter类 | 第48-50页 |
| ·TableClass类 | 第50-51页 |
| ·程序实现过程中的关键与克服的问题 | 第51页 |
| ·操作类型的生成实现 | 第51页 |
| ·IDL文件中多接口类型的实现 | 第51页 |
| ·程序中克服的问题 | 第51-52页 |
| ·小结 | 第52-53页 |
| 第五章 生成器功能验证 | 第53-56页 |
| 第六章 毕设总结 | 第56-58页 |
| ·主要工作内容 | 第56页 |
| ·进一步的工作展望 | 第56-58页 |
| 参考文献 | 第58-60页 |
| 附录 | 第60-66页 |
| 致谢 | 第66-67页 |
| 作者攻读学位期间发表的学术论文目录 | 第67页 |