| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-15页 |
| ·选题的背景及意义 | 第9-10页 |
| ·现状分析 | 第10-12页 |
| ·当前基于构件软件的集成测试方法 | 第10-11页 |
| ·基于软件体系结构的形式化测试技术 | 第11页 |
| ·测试工具的研究现状 | 第11-12页 |
| ·构件测试存在的问题 | 第12-13页 |
| ·研究的目标及内容 | 第13-15页 |
| 第二章 基于 DRTSADL的软件集成测试基础 | 第15-25页 |
| ·测试的特点和目标 | 第15页 |
| ·构件技术 | 第15-17页 |
| ·DRTSADL体系结构描述语言的研究 | 第17-19页 |
| ·DRTSADL的特点 | 第17页 |
| ·DRTSADL的总体结构 | 第17-19页 |
| ·基本 TSP(TIME STATE PROCESS，记时状态进程) | 第19-21页 |
| ·TSP中的时间模型 | 第19页 |
| ·对 FSP的扩展 | 第19-20页 |
| ·TSP基础 | 第20-21页 |
| ·DRTSADL的基本成份描述 | 第21-22页 |
| ·简单构件描述 | 第21-22页 |
| ·组合构件 | 第22页 |
| ·连接件 | 第22页 |
| ·集成测试的覆盖准则 | 第22-23页 |
| ·TRMCS实例 | 第23-25页 |
| 第三章 基于软件体系结构描述语言的构件建模 | 第25-34页 |
| ·构件交互的要素 | 第25-26页 |
| ·构件交互图(CIG) | 第26-28页 |
| ·基于DRTSADL的测试模型 | 第28-29页 |
| ·TRMCS描述 | 第29-34页 |
| 第四章 基于 DRTSADL构件交互行为的测试用例生成研究 | 第34-42页 |
| ·基本原理 | 第34-35页 |
| ·测试模型中的信息提取与依赖分析 | 第35-39页 |
| ·基于构件软件的集成测试覆盖准则 | 第39-40页 |
| ·测试用例生成算法 | 第40页 |
| ·TRMCS实例分析 | 第40-42页 |
| 第五章 基于DRTSADL模型的集成测试工具的设计与实现 | 第42-51页 |
| ·集成工具的设计原则 | 第42-43页 |
| ·集成测试工具体系结构的设计 | 第43-45页 |
| ·DRTSADL可视化建模工具的实现 | 第45-50页 |
| ·词法分析器和语法分析器的设计及实现 | 第45-46页 |
| ·符号表管理 | 第46-48页 |
| ·图形建模工具 | 第48-49页 |
| ·文本建模工具 | 第49-50页 |
| ·集成测试工具的应用 | 第50-51页 |
| 第六章 结束语 | 第51-53页 |
| ·本文贡献 | 第51页 |
| ·进一步工作 | 第51-53页 |
| 参考文献 | 第53-57页 |
| 攻读硕士学位期间发表的论文 | 第57-58页 |
| 致谢 | 第58页 |
