| <中文摘要> | 第1页 |
| <关键词> | 第3-4页 |
| <英文摘要> | 第4页 |
| <英文关键词> | 第4-7页 |
| 第1章 引言 | 第7-11页 |
| ·测试的分类 | 第7-8页 |
| ·测试的阶段 | 第8-9页 |
| ·论文的组织 | 第9-11页 |
| 第2章 代码覆盖分析和控制流图 | 第11-18页 |
| ·代码覆盖分析 | 第11-14页 |
| ·控制流图 | 第14-18页 |
| 第3章 路径的可行性分析工具 | 第18-39页 |
| ·工具PAT | 第18-30页 |
| ·工具BoNuS | 第30-35页 |
| ·路径可行性分析结果 | 第35-39页 |
| 第4章 基于状态机的规约 | 第39-46页 |
| ·有限状态机(FSM) | 第40-42页 |
| ·扩展的有限状态机(EFSM) | 第42-46页 |
| 第5章 基于状态机的测试数据自动生成 | 第46-59页 |
| ·工具EFAT简介 | 第47页 |
| ·从源程序中获得EFSM | 第47-49页 |
| ·搜索EFSM的算法 | 第49-54页 |
| ·实验结果 | 第54-59页 |
| 第6章 结束语 | 第59-60页 |
| <引文> | 第60-65页 |
| 致谢 | 第65页 |