中文摘要 | 第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页 |