| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-10页 |
| 第1章 前 言 | 第10-16页 |
| ·背景介绍 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·研究思路及内容 | 第13-14页 |
| ·主要工作量 | 第14-15页 |
| ·论文组织 | 第15-16页 |
| 第2章 软件测试的基本理论及技术 | 第16-22页 |
| ·软件测试概念及原则 | 第16-17页 |
| ·软件测试概念 | 第16-17页 |
| ·软件测试的原则 | 第17页 |
| ·软件测试的方法 | 第17-20页 |
| ·黑盒测试方法 | 第18页 |
| ·白盒测试方法 | 第18-19页 |
| ·常用的软件测试技术 | 第19-20页 |
| ·软件测试的标准 | 第20-22页 |
| ·软件测试的复杂性 | 第20页 |
| ·软件测试的经济性 | 第20-22页 |
| 第3章 基于形式规约说明的面向对象软件测试 | 第22-29页 |
| ·形式化方法与面向对象软件测试的层次划分 | 第22-23页 |
| ·基于形式化规约的方法在面向对象软件测试中的应用 | 第23-24页 |
| ·面向对象建模语言 | 第24-27页 |
| ·UML图与软件测试 | 第25-26页 |
| ·UML图与面向对象软件设计和测试各阶段的关系 | 第26-27页 |
| ·基于形式化规约说明的类测试流程 | 第27页 |
| ·形式化方法的缺点 | 第27-28页 |
| ·小结 | 第28-29页 |
| 第4章 基于XML Schema模型描述的类的规约测试 | 第29-47页 |
| ·基于XML SCHEMA模型的类的规约说明描述 | 第29-32页 |
| ·XML简介 | 第29-30页 |
| ·XML Schema数据模型设计 | 第30-31页 |
| ·自动测试模型框架设计 | 第31-32页 |
| ·XML测试脚本生成 | 第32页 |
| ·类的XML测试规约说明到测试用例 | 第32-39页 |
| ·XML测试脚本到条件约束的线性不等式组 | 第33页 |
| ·域测试策略简介、相关术语和细节问题 | 第33-38页 |
| ·条件约束不等式组到测试用例 | 第38-39页 |
| ·完整实例 | 第39-45页 |
| ·小结 | 第45-47页 |
| 第5章 基于XML Schema模型描述的试验程序简介 | 第47-50页 |
| ·界面 | 第47-48页 |
| ·基本功能 | 第48-50页 |
| 第6章 结论及展望 | 第50-52页 |
| ·总结 | 第50页 |
| ·XML SCHEMA模型方法与形式化方法、传统测试方法的关系 | 第50-51页 |
| ·进一步的研究方向 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 附录 | 第55-57页 |
| 致谢 | 第57-58页 |
| 个人简历、在学期间的研究成果 | 第58页 |
