| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第一章 绪论 | 第9-13页 |
| ·课题研究背景和意义 | 第9页 |
| ·国内外研究现状 | 第9-11页 |
| ·研究内容及论文结构 | 第11-13页 |
| 第二章 CBD 软件的集成测试中若干问题 | 第13-19页 |
| ·构件的定义 | 第13-14页 |
| ·构件标准 | 第14-16页 |
| ·CBD 软件的集成测试的特点 | 第16页 |
| ·构件化软件系统的集成测试中的问题 | 第16-19页 |
| 第三章 UML2.0 理论及其测试 | 第19-28页 |
| ·UML 介绍 | 第19-21页 |
| ·UML2.0 设计目标 | 第19-20页 |
| ·UML2.0 与UML1.X 的区别 | 第20页 |
| ·UML 的定义 | 第20-21页 |
| ·UML2.0 主要组织特征 | 第21页 |
| ·基于UML 的软件测试 | 第21-24页 |
| ·测试阶段 | 第22-23页 |
| ·基于UML 的软件测试过程 | 第23-24页 |
| ·UML2.0 中的构件 | 第24-25页 |
| ·UML2.0 中对构件的定义 | 第24页 |
| ·构件的接口 | 第24-25页 |
| ·构件的端口 | 第25页 |
| ·连接件 | 第25页 |
| ·基于UML 的CBD 软件工程过程 | 第25-28页 |
| ·基于UML 的需求分析与领域分析 | 第26页 |
| ·基于UML 的构件的分析与设计 | 第26页 |
| ·基于UML 的构件测试 | 第26-27页 |
| ·构件的检索与组装 | 第27页 |
| ·系统和集成测试 | 第27-28页 |
| 第四章 一种基于UML2.0 图生成测试用例的模型 | 第28-44页 |
| ·UML2.0 构件图模型(COMPONENT DIAGRAM CD) | 第28页 |
| ·基于UML2.0 状态机的构件状态行为的描述 | 第28-30页 |
| ·UML2.0 状态机(State Machine SM) | 第29页 |
| ·扩展SM 描述构件的状态行为(CSM) | 第29-30页 |
| ·基于UML2.0 顺序图/通信图的构件交互行为的描述 | 第30-34页 |
| ·基于UML 的构件顺序图形式化定义 | 第30-32页 |
| ·CSD 语义分析 | 第32-33页 |
| ·扩展构件顺序图(ECSD) | 第33-34页 |
| ·消息交互流图模型(MISG) | 第34-38页 |
| ·消息交互流图(MISG)概念 | 第34页 |
| ·MISG 的存储结构 | 第34-35页 |
| ·具体算法 | 第35-36页 |
| ·基于MISG 模型的测试覆盖准则 | 第36-37页 |
| ·基于MISG 生成测试场景 | 第37-38页 |
| ·测试数据准备 | 第38-39页 |
| ·生成测试用例 | 第39-40页 |
| ·实例分析 | 第40-44页 |
| 第五章 基于UM 图的CBD 软件集成测试框架(CSITF) | 第44-54页 |
| ·原型系统功能需求 | 第44页 |
| ·原型设计中的关键技术的实现 | 第44-50页 |
| ·ECSD 构造策略 | 第44-47页 |
| ·测试场景(TS)生成策略 | 第47-50页 |
| ·测试用例生成及集成测试策略 | 第50-51页 |
| ·主要数据结构 | 第51-54页 |
| 第六章 总结与展望 | 第54-56页 |
| ·总结 | 第54页 |
| ·展望 | 第54-56页 |
| 参考文献 | 第56-60页 |
| 作者在读研期间参与科研及论文发表情况 | 第60-61页 |
| 致谢 | 第61-62页 |