| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-7页 |
| 前言 | 第7-8页 |
| 第一章 概论 | 第8-15页 |
| ·软件测试 | 第8-10页 |
| ·基于形式化方法的面向对象软件测试 | 第10-12页 |
| ·基于代数规格说明的面向对象软件测试 | 第12-15页 |
| 第二章 面向对象类级测试基本原理 | 第15-20页 |
| ·一些定义与定理 | 第15-18页 |
| ·基本原理 | 第18-20页 |
| 第三章 面向对象类级测试用例生成算法 | 第20-24页 |
| ·类级测试用例生成的基本过程 | 第20-21页 |
| ·诱导性非等价对生成的基本过程 | 第21-24页 |
| 第四章 类级测试用例生成算法的实现 | 第24-48页 |
| ·概述 | 第24-27页 |
| ·文件内容提取与过滤 | 第27-31页 |
| ·基本等价对的生成 | 第31-45页 |
| ·非等价对的生成 | 第45-46页 |
| ·Windows界面的编写 | 第46-48页 |
| 第五章 实例与运行结果 | 第48-54页 |
| ·运行情况 | 第48-52页 |
| ·结果分析 | 第52-54页 |
| 第六章 总结与展望 | 第54-56页 |
| ·本文工作总结 | 第54-55页 |
| ·进一步展望 | 第55-56页 |
| 参考文献 | 第56-59页 |
| 致谢 | 第59页 |