| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 绪论 | 第12-18页 |
| ·课题研究的背景与意义 | 第12-14页 |
| ·国内外研究现状 | 第14-15页 |
| ·本文的主要工作 | 第15-16页 |
| ·本文的组织结构 | 第16-18页 |
| 第二章 面向对象软件和形式化规范测试覆盖准则概述 | 第18-32页 |
| ·传统的软件测试覆盖准则 | 第18-20页 |
| ·面向对象软件测试覆盖准则 | 第20-25页 |
| ·面向对象特性对软件测试的影响 | 第20-22页 |
| ·面向对象软件测试层次的划分和常见的测试覆盖准则 | 第22-25页 |
| ·基于形式化规范的测试覆盖准则 | 第25-30页 |
| ·常用的形式化规范 | 第25页 |
| ·EFSM简介 | 第25-28页 |
| ·基于EFSM规范的测试覆盖准则 | 第28-30页 |
| ·本章小结 | 第30-32页 |
| 第三章 现有测试覆盖准则评估方法 | 第32-40页 |
| ·测试覆盖准则的有效性比较 | 第32-36页 |
| ·测试覆盖准则的公理系统 | 第36-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 面向对象软件和EFSM规范测试覆盖准则综合比较 | 第40-48页 |
| ·面向对象软件的基本MM路径覆盖定义 | 第40-42页 |
| ·基于EFSM规范的基本迁移路径覆盖定义 | 第42-43页 |
| ·测试覆盖准则的公理评估 | 第43-47页 |
| ·本章小结 | 第47-48页 |
| 第五章 面向对象软件和EFSM规范测试覆盖准则实验比较 | 第48-56页 |
| ·实验设计 | 第48-49页 |
| ·实验实现 | 第49-51页 |
| ·实验结果分析 | 第51-55页 |
| ·本章小结 | 第55-56页 |
| 第六章 结束语 | 第56-58页 |
| ·本文的主要贡献 | 第56页 |
| ·进一步的工作 | 第56-58页 |
| 参考文献 | 第58-62页 |
| 致谢 | 第62-64页 |
| 攻读学位期间发表的学术论文 | 第64-66页 |
| 作者和导师简介 | 第66-68页 |
| 硕士研究生学位论文答辩委员会决议书 | 第68-69页 |