| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-9页 |
| ·本文研究主要内容 | 第9页 |
| ·本文组织结构 | 第9-11页 |
| 第二章 软件测试的基本概念与测试方法 | 第11-19页 |
| ·软件质量与缺陷 | 第11-13页 |
| ·软件质量的概念及内涵 | 第11-12页 |
| ·软件缺陷的定义与种类 | 第12-13页 |
| ·软件测试的基本方法 | 第13-16页 |
| ·软件测试的原则 | 第13-14页 |
| ·白盒测试和黑盒测试 | 第14-15页 |
| ·静态和动态测试方法 | 第15-16页 |
| ·验证和确认(Verification & Validation) | 第16页 |
| ·软件测试的误区 | 第16-17页 |
| ·本章小结 | 第17-19页 |
| 第三章 面向对象软件及其测试方法 | 第19-29页 |
| ·面向对象软件特点 | 第19-21页 |
| ·抽象性 | 第19-20页 |
| ·封装性 | 第20页 |
| ·继承性 | 第20-21页 |
| ·多态性 | 第21页 |
| ·面向对象特征对软件测试的影响 | 第21-23页 |
| ·基本构成模块差异影响 | 第22页 |
| ·系统功能实现的影响 | 第22页 |
| ·封装对测试的影响 | 第22页 |
| ·继承对测试的影响 | 第22-23页 |
| ·多态对测试的影响 | 第23页 |
| ·面向对象测试的层次 | 第23-24页 |
| ·类测试 | 第23-24页 |
| ·类簇测试 | 第24页 |
| ·系统测试 | 第24页 |
| ·面向对象测试方法 | 第24-27页 |
| ·基于方法序列规范的测试用例生成 | 第24-25页 |
| ·基于类流图的测试 | 第25页 |
| ·ASTOOT方法 | 第25-26页 |
| ·基于状态的测 | 第26页 |
| ·基于UML的测试 | 第26-27页 |
| ·基于使用的测试 | 第27页 |
| ·本章小结 | 第27-29页 |
| 第四章 基于状态建模的测试序列生成 | 第29-49页 |
| ·类的状态建模 | 第29-33页 |
| ·类的状态机模型 | 第30-31页 |
| ·状态机模型的数学描述 | 第31-33页 |
| ·基于状态机的测试序列生成方法的研究 | 第33-40页 |
| ·测试过程中可能出现的错误的分析 | 第33-34页 |
| ·覆盖准则与测试序列的生成方法的分析与研究 | 第34-40页 |
| ·测试序列自动生成系统设计与实现 | 第40-47页 |
| ·获取状态图相关信息 | 第41-42页 |
| ·状态机模型的检验 | 第42-43页 |
| ·生成状态覆盖集 | 第43-44页 |
| ·生成迁移覆盖集 | 第44-46页 |
| ·状态区分集的生成 | 第46页 |
| ·测试序列的生成 | 第46-47页 |
| ·非法消息序列的生成 | 第47页 |
| ·本章小结 | 第47-49页 |
| 第五章 测试数据构造方法的研究 | 第49-65页 |
| ·测试数据对路径的影响 | 第49-51页 |
| ·类的测试数据生成方法 | 第51-58页 |
| ·域测试法 | 第52页 |
| ·随机测试数据生成法 | 第52-53页 |
| ·遗传算法的分析与研究 | 第53-58页 |
| ·基于遗传算法的测试数据生成方法的实现 | 第58-63页 |
| ·系统模型与结构 | 第58页 |
| ·构造适应值函数 | 第58-61页 |
| ·构造测试数据 | 第61-63页 |
| ·本章小结 | 第63-65页 |
| 第六章 总结 | 第65-67页 |
| 致谢 | 第67-69页 |
| 参考文献 | 第69-72页 |