| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 引言 | 第8-9页 |
| 第一章 绪论 | 第9-13页 |
| 1．1 软件测试技术的历史与发展 | 第9页 |
| 1．2 基于软件知识的测试技术 | 第9-11页 |
| 1．2．1 采用现有的测试技术无法做到测试的充分性 | 第10-11页 |
| 1．2．2 测试必须做到充分、适度 | 第11页 |
| 1．2．3 基于知识的软件测试 | 第11页 |
| 1．3 论文的组织 | 第11-13页 |
| 第二章 软件测试方法和策略 | 第13-20页 |
| 2．1 静态分析 | 第13-14页 |
| 2．1．1 代码(桌面)检查 | 第13-14页 |
| 2．1．2 走查 | 第14页 |
| 2．2 动态测试 | 第14-18页 |
| 2．2．1 白盒测试(White-box Testing) | 第14-17页 |
| 2．2．2 黑盒测试(Black-box Testing) | 第17-18页 |
| 2．3 软件测试过程 | 第18-20页 |
| 2．3．1 单元(Unit)测试 | 第19页 |
| 2．3．2 集成测试(Integration Testing) | 第19页 |
| 2．3．3 确认测试 | 第19页 |
| 2．3．4 系统测试 | 第19-20页 |
| 第三章 排错测试和操作概图测试 | 第20-33页 |
| 3．1 排错测试 | 第20-21页 |
| 3．1．1 排错测试的过程 | 第20页 |
| 3．1．2 排错测试方法 | 第20-21页 |
| 3．2 操作概图测试 | 第21-28页 |
| 3．2．1 操作概图测试的概念 | 第21页 |
| 3．2．2 操作概图测试的过程 | 第21-23页 |
| 3．2．3 确定软件操作概图 | 第23-28页 |
| 3．3 测试选择 | 第28-31页 |
| 3．3．1 选择操作 | 第29-30页 |
| 3．3．2 选择操作中的输入状态 | 第30-31页 |
| 3．4 操作概图测试举例 | 第31-33页 |
| 第四章 基于知识的软件测试 | 第33-49页 |
| 4．1 现有测试技术无法做到测试的充分 | 第33-34页 |
| 4．2 操作概图测试与排错测试的不足 | 第34-35页 |
| 4．3 基于知识的软件测试 | 第35-49页 |
| 4．3．1 软件本身是知识的集合体 | 第35页 |
| 4．3．2 软件开发过程充满知识 | 第35-40页 |
| 4．3．3 基于知识的软件测试 | 第40-45页 |
| 4．3．4 基于知识的软件测试过程 | 第45-49页 |
| 第五章 总结与展望 | 第49-51页 |
| 5．1 总结 | 第49页 |
| 5．2 今后的工作 | 第49-51页 |
| 参考文献 | 第51-53页 |
| 致谢 | 第53页 |
