| 第一章 绪论 | 第8-11页 |
| 1．1 背景 | 第8-10页 |
| 1．2 论文的组织 | 第10-11页 |
| 第二章 软件测试 | 第11-21页 |
| 2．1 引言 | 第11-12页 |
| 2．2 软件测试的目的 | 第12-13页 |
| 2．3 软件测试的策略 | 第13-15页 |
| 2．3．1 单元测试 | 第13-14页 |
| 2．3．2 集成测试 | 第14-15页 |
| 2．3．3 系统测试 | 第15页 |
| 2．4 软件测试技术 | 第15-17页 |
| 2．4．1 静态测试和动态测试 | 第15-16页 |
| 2．4．2 结构测试和功能测试 | 第16页 |
| 2．4．3 回归测试 | 第16-17页 |
| 2．5 面向对象软件的测试 | 第17-19页 |
| 2．5．1 面向对象软件测试的重要性 | 第17页 |
| 2．5．2 面向对象软件测试的策略 | 第17-19页 |
| 2．6 目前的研究热点 | 第19-21页 |
| 第三章 面向对象软件测试环境 | 第21-35页 |
| 3．1 引言 | 第21-23页 |
| 3．2 系统功能 | 第23-24页 |
| 3．3 系统概貌 | 第24-27页 |
| 3．3．1 Browser | 第24-25页 |
| 3．3．2 Diagrammar | 第25-26页 |
| 3．3．3 Analyzer | 第26页 |
| 3．3．4 Test | 第26页 |
| 3．3．5 SQA | 第26页 |
| 3．3．6 Playback | 第26页 |
| 3．3．7 MemoryChecker | 第26页 |
| 3．3．8 DefectTracer | 第26-27页 |
| 3．4 系统结构 | 第27-35页 |
| 3．4．1 以中间数据库为核心的软件结构 | 第27页 |
| 3．4．2 中间数据库的结构 | 第27-34页 |
| 3．4．3 以中间数据库为核心的设计特点 | 第34-35页 |
| 第四章 面向对象的覆盖度量 | 第35-52页 |
| 4．1 引言 | 第35-36页 |
| 4．2 测试的充分性 | 第36页 |
| 4．3 测试充分性度量准则 | 第36-39页 |
| 4．3．1 语句覆盖 | 第37页 |
| 4．3．2 判定覆盖 | 第37页 |
| 4．3．3 条件覆盖 | 第37页 |
| 4．3．4 条件／判定覆盖 | 第37-38页 |
| 4．3．5 路径覆盖 | 第38页 |
| 4．3．6 其它的覆盖 | 第38-39页 |
| 4．4 流图模型 | 第39页 |
| 4．5 基于块的流图模型 | 第39-43页 |
| 4．5．1 块 | 第39页 |
| 4．5．2 节点 | 第39-41页 |
| 4．5．3 段 | 第41页 |
| 4．5．4 不可见段 | 第41-43页 |
| 4．6 块流图模型示例 | 第43-45页 |
| 4．7 基于块的测试充分性度量准则 | 第45-49页 |
| 4．7．1 传统的结构化覆盖度量存在的不足 | 第45-46页 |
| 4．7．2 基于段的面向对象覆盖度量 | 第46-48页 |
| 4．7．3 应用举例 | 第48页 |
| 4．7．4 其它基于段的测试覆盖度量准则 | 第48-49页 |
| 4．8 测试用例最小化 | 第49-52页 |
| 4．8．1 测试用例最小化原理 | 第49页 |
| 4．8．2 测试用例最小化算法 | 第49-50页 |
| 4．8．3 测试用例最小化应用举例 | 第50-52页 |
| 第五章 面向对象的软件度量 | 第52-67页 |
| 5．1 引言 | 第52-53页 |
| 5．2 软件度量 | 第53-56页 |
| 5．2．1 度量理论 | 第53页 |
| 5．2．2 软件度量学 | 第53-54页 |
| 5．2．3 软件度量的准则 | 第54页 |
| 5．2．4 面向对象系统的技术度量 | 第54-56页 |
| 5．3 基于源代码的软件度量 | 第56-67页 |
| 5．3．1 面向过程度量 | 第56-61页 |
| 5．3．2 面向对象度量 | 第61-67页 |
| 第六章 软件测试自动化工具 | 第67-87页 |
| 6．1 引言 | 第67-69页 |
| 6．2 静态分析 | 第69-70页 |
| 6．3 动态分析 | 第70页 |
| 6．4 代码插装 | 第70-78页 |
| 6．4．1 代码插装的原理 | 第71-73页 |
| 6．4．2 基于动态链接库的插装技术 | 第73-74页 |
| 6．4．3 VB源程序的插装 | 第74-77页 |
| 6．4．4 插装程序的运行过程 | 第77页 |
| 6．4．5 总结 | 第77-78页 |
| 6．5 测试执行自动化 | 第78-87页 |
| 6．5．1 Panorama Player的设计特点 | 第79页 |
| 6．5．2 Panorama Player的软件结构 | 第79-81页 |
| 6．5．3 Panorama Player关键技术的实现 | 第81-87页 |
| 第七章 面向分布式的嵌入式软件集成测试系统-DTest | 第87-105页 |
| 7．1 引言 | 第87-88页 |
| 7．2 DTest简介 | 第88页 |
| 7．3 DTest的设计思想 | 第88页 |
| 7．4 DTest的测试环境 | 第88-91页 |
| 7．4．1 被测系统介绍 | 第88-89页 |
| 7．4．2 被测对象 | 第89-90页 |
| 7．4．3 测试要求 | 第90页 |
| 7．4．4 测试平台硬件结构 | 第90-91页 |
| 7．4．5 测试系统的软件环境 | 第91页 |
| 7．5 DTest的总体设计 | 第91-96页 |
| 7．6 DTest测试控制器的设计 | 第96-99页 |
| 7．6．1 有限状态机技术 | 第96-97页 |
| 7．6．2 DTest测试控制器的设计原理 | 第97-98页 |
| 7．6．3 DTest测试控制器的设计特点 | 第98-99页 |
| 7．7 协议测试集的形式化 | 第99-100页 |
| 7．8 DSL简介 | 第100-105页 |
| 7．8．1 DSL的特点 | 第100-101页 |
| 7．8．2 DSL的文法 | 第101页 |
| 7．8．3 DSL的事件语句 | 第101-104页 |
| 7．8．4 DSL的系统函数 | 第104-105页 |
| 第八章 总结与展望 | 第105-108页 |
| 8．1 本文的贡献 | 第105-107页 |
| 8．2 进一步研究 | 第107-108页 |
| 附录A 函数框和类框的图示及说明 | 第108-109页 |
| 附录B 基于块的流图模型的基本图符 | 第109-113页 |
| 参考文献 | 第113-121页 |
| 本文作者在攻博期间发表的论文 | 第121-122页 |
| 致谢 | 第122页 |
