| 第一章 绪 论 | 第1-14页 |
| 1．1 研究背景和意义 | 第10-11页 |
| 1．2 论文组织安排 | 第11-12页 |
| 1．3 作者主要工作 | 第12-14页 |
| 第二章 面向对象与软件测试 | 第14-28页 |
| 2．1 传统软件测试技术简介 | 第14-17页 |
| 2．2 测试OO软件的特殊性 | 第17-23页 |
| 2．3 研究现状综述 | 第23-28页 |
| 第三章 抽象数据类型的规范和测试 | 第28-39页 |
| 3．1 ADT的代数规范 | 第28-32页 |
| 3．2 ASTOOT方法介绍 | 第32-39页 |
| 3．2．1 LOBAS规范 | 第33-35页 |
| 3．2．2 基本思想 | 第35-37页 |
| 3．2．3 原型系统 | 第37-39页 |
| 第四章 基于方法序列规范的测试用例生成 | 第39-54页 |
| 4．1 方法序列规范（Method Sequence Specification, MtSS） | 第40-42页 |
| 4．2 消息序列规范（Message Sequence Specification, MgSS） | 第42-43页 |
| 4．3 继承性和MtSS | 第43-47页 |
| 4．3．1 特化继承 | 第45-46页 |
| 4．3．2 细化继承 | 第46页 |
| 4．3．3 选择性继承 | 第46-47页 |
| 4．4 MtSS和MgSS的一致性 | 第47-48页 |
| 4．5 基于MtSS的测试用例生成 | 第48-52页 |
| 4．5．1 随机生成策略 | 第49页 |
| 4．5．2 基于划分的生成策略 | 第49-52页 |
| 4．5．2．1 基于状态的划分准则 | 第50页 |
| 4．5．2．2 基于属性的划分准则 | 第50-51页 |
| 4．5．2．3 基于操作特征的划分准则 | 第51-52页 |
| 4．6 检验健壮性的测试用例生成 | 第52-54页 |
| 4．6．1 遗漏法 | 第52-53页 |
| 4．6．2 颠倒次序法 | 第53页 |
| 4．6．3 冗余法 | 第53-54页 |
| 第五章 契约测试与测试用例重用研究 | 第54-77页 |
| 5．1 继承性和多态 | 第55-57页 |
| 5．1．1 类型与子类型 | 第55-56页 |
| 5．1．2 继承与重置 | 第56页 |
| 5．1．3 多态和子类型替换 | 第56-57页 |
| 5．2 注记符号和定义 | 第57-59页 |
| 5．3 OO程序的测试充分性 | 第59-61页 |
| 5．4 独自测试父类 | 第61-62页 |
| 5．5 独自测试子类A′ | 第62-64页 |
| 5．6 A契约测试B | 第64-66页 |
| 5．7 A契约测试B′ | 第66-68页 |
| 5．8 A′契约测试B | 第68-70页 |
| 5．9 A′契约测试B′ | 第70-71页 |
| 5．10 举例 | 第71-73页 |
| 5．11 测试新增加的类 | 第73-77页 |
| 第六章 OO程序集成测试顺序研究 | 第77-98页 |
| 6．1 传统程序的集成测试策略 | 第77-81页 |
| 6．2 对象关系图 | 第81-85页 |
| 6．2．1 类之间的关系 | 第81-82页 |
| 6．2．2 对象关系图 | 第82-85页 |
| 6．3 理想的测试顺序 | 第85-87页 |
| 6．4 Kung的测试顺序分配算法 | 第87-91页 |
| 6．4．1 OO程序的回归测试 | 第87-88页 |
| 6．4．2 测试顺序分配算法 | 第88-91页 |
| 6．5 一种新的测试顺序分配算法 | 第91-98页 |
| 6．5．1 级号分配算法 | 第91-92页 |
| 6．5．2 计算主级号 | 第92-93页 |
| 6．5．3 计算次级号 | 第93-94页 |
| 6．5．4 类间集成测试过程 | 第94-95页 |
| 6．5．5 举例 | 第95-98页 |
| 第七章 结束语 | 第98-100页 |
| 参考文献 | 第100-108页 |
| 致 谢 | 第108-109页 |
| 作者攻读博士学位期间撰写的论文 | 第109页 |