基于UML的多态性测试研究与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 1 绪论 | 第9-14页 |
| ·论文的选题及研究意义 | 第9-10页 |
| ·国内外研究现状和主要存在的问题 | 第10-12页 |
| ·本文的研究内容和主要工作 | 第12-13页 |
| ·本文的组织安排 | 第13-14页 |
| 2 软件测试基础 | 第14-34页 |
| ·软件测试基础 | 第14-20页 |
| ·软件测试的定义 | 第14-15页 |
| ·软件测试目的 | 第15页 |
| ·软件测试模型 | 第15-18页 |
| ·软件测试技术 | 第18-19页 |
| ·软件测试过程 | 第19-20页 |
| ·面向对象的软件测试 | 第20-25页 |
| ·面向对象概述 | 第20-22页 |
| ·面向对象三大机制对测试的影响 | 第22-23页 |
| ·面向对象的测试 | 第23-24页 |
| ·面向对象系统的测试层次 | 第24-25页 |
| ·基于模型的软件测试 | 第25-27页 |
| ·模型的定义 | 第25-26页 |
| ·测试中常用模型介绍 | 第26页 |
| ·模型测试的基本过程 | 第26-27页 |
| ·模型测试的优缺点 | 第27页 |
| ·自动化软件测试 | 第27-33页 |
| ·自动化测试基础理论 | 第27-28页 |
| ·自动化测试成熟度 | 第28-29页 |
| ·自动化测试的优点和局限 | 第29-30页 |
| ·IBM 软件测试自动化解决方案 | 第30-33页 |
| ·本章小结 | 第33-34页 |
| 3 基于UML 的软件测试 | 第34-43页 |
| ·UML 简介 | 第34-36页 |
| ·UML 的发展 | 第34页 |
| ·UML 的内容 | 第34-35页 |
| ·UML 的组成 | 第35-36页 |
| ·UML 与软件测试 | 第36-38页 |
| ·UML 图在面向对象软件测试中的应用 | 第36-37页 |
| ·UML 模型在软件测试中的优势 | 第37-38页 |
| ·类图与协作图 | 第38-41页 |
| ·UML 类图 | 第38-39页 |
| ·UML 协作图 | 第39-41页 |
| ·基于UML 的测试框架 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 4 多态性测试线索的提取 | 第43-62页 |
| ·可扩展标记语言 | 第43-45页 |
| ·XML | 第43-44页 |
| ·DOM 与SAX | 第44-45页 |
| ·基于控制流图的测试 | 第45-49页 |
| ·过程间受限控制流图 | 第45-47页 |
| ·过程间受限控制流图的生成 | 第47-48页 |
| ·测试覆盖准则 | 第48-49页 |
| ·多态性测试线索的生成 | 第49-57页 |
| ·多态的引入 | 第49-50页 |
| ·多态信息表示的研究 | 第50-52页 |
| ·CIRCFG 的多态扩展 | 第52-54页 |
| ·多态线索的提取 | 第54-57页 |
| ·测试框架及实现 | 第57-61页 |
| ·测试配置模块 | 第57-59页 |
| ·XML 解析模块 | 第59页 |
| ·线索生成模块 | 第59页 |
| ·用例生成模块 | 第59-60页 |
| ·用例执行模块 | 第60页 |
| ·结果分析模块 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 5 系统实现 | 第62-81页 |
| ·工具选择 | 第62-63页 |
| ·建模工具 | 第62页 |
| ·XML 分析工具 | 第62页 |
| ·开发平台 | 第62-63页 |
| ·模型文件分析 | 第63-67页 |
| ·OOM 文件 | 第63-64页 |
| ·类与类图 | 第64-65页 |
| ·协作图与消息 | 第65-67页 |
| ·系统实现 | 第67-80页 |
| ·实验模型 | 第67-72页 |
| ·数据结构设计 | 第72-73页 |
| ·信息提取 | 第73-77页 |
| ·构建PCIRCFG | 第77-80页 |
| ·本章小结 | 第80-81页 |
| 6 总结和进一步的工作 | 第81-83页 |
| ·总结 | 第81页 |
| ·进一步工作 | 第81-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-87页 |
| 附录 | 第87页 |
| A. 作者在攻读学位期间发表的论文目录 | 第87页 |
| B. 项目工作 | 第87页 |
