| 内容摘要 | 第1-5页 |
| 第一章 前言 | 第5-7页 |
| 第二章 面向对象的软件测试技术 | 第7-17页 |
| ·软件测试的目的 | 第7-8页 |
| ·规范化的软件测试 | 第8-10页 |
| ·面向对象软件测试特殊性 | 第10-12页 |
| ·对象 | 第10-11页 |
| ·消息 | 第11页 |
| ·接口 | 第11页 |
| ·类 | 第11-12页 |
| ·继承 | 第12页 |
| ·多态 | 第12页 |
| ·面向对象的软件测试策略 | 第12-13页 |
| ·面向对象软件建模语言--UML | 第13-14页 |
| ·UML图与软件测试 | 第14-17页 |
| ·类图(Class Diagram) | 第14页 |
| ·用况图(Use Case Diagram) | 第14-15页 |
| ·状态图(Statecharts Diagram) | 第15页 |
| ·顺序图(Sequence Diagram) | 第15页 |
| ·UML图形在软件测试各阶段的使用 | 第15-17页 |
| 第三章 形式化方法与软件测试技术 | 第17-22页 |
| ·形式化方法和形式化规约语言的发展现状 | 第17-18页 |
| ·形式化方法存在的问题 | 第18页 |
| ·形式化方法与面向对象技术的结合 | 第18-19页 |
| ·RAISE | 第19-22页 |
| ·RAISE的技术特点 | 第19-20页 |
| ·RAISE与面向对象技术 | 第20-22页 |
| 第四章 形式化的软件测试用例生成技术 | 第22-44页 |
| ·测试用例的概念和组成 | 第22-24页 |
| ·一些假设 | 第24页 |
| ·基于操作语义约束的测试用例生成技术 | 第24-33页 |
| ·UML类图的形式化描述方法 | 第24-28页 |
| ·UML类图中的操作语义 | 第28-29页 |
| ·类的操作语义对于操作的影响 | 第29-31页 |
| ·基于UML类图约束的测试用例生成规则 | 第31-33页 |
| ·基于消息序列的测试用例生成技术 | 第33-38页 |
| ·基于UML图和形式化方法RAISE的消息提取和描述机制 | 第33-36页 |
| ·基于消息序列的测试用例生成技术 | 第36-38页 |
| ·消息序列中检验系统容错能力的测试用例生成 | 第38页 |
| ·形式化测试技术与传统测试技术的协调使用 | 第38-44页 |
| ·传统的软件测试技术 | 第39-40页 |
| ·形式化测试方法与传统测试方法的对应关系 | 第40页 |
| ·形式化测试方法与传统测试方法的协调使用 | 第40-44页 |
| 第五章 测试实践 | 第44-54页 |
| ·测试对象简介 | 第44页 |
| ·LIFT系统的UML设计和相应的测试用例 | 第44-53页 |
| ·静态模型描述和测试 | 第44-51页 |
| ·动态模型描述和测试 | 第51-53页 |
| ·对于LIFT系统的综合测试方法 | 第53-54页 |
| 第六章 结论和进一步的工作 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 致谢 | 第57页 |