| 提要 | 第1-4页 |
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 绪论 | 第12-23页 |
| ·引言 | 第12-13页 |
| ·基于模型的诊断 | 第13-15页 |
| ·基于模型的诊断面临的问题 | 第15-17页 |
| ·基于模型诊断的研究和应用现状 | 第17-18页 |
| ·基于模型的诊断在程序诊断上的应用 | 第18-21页 |
| ·基于模型的程序诊断存在的问题 | 第21-23页 |
| 第二章 IMP 程序设计语言及其语义 | 第23-30页 |
| ·IMP 程序设计语言的语法 | 第23-24页 |
| ·IMP 的操作语义 | 第24-26页 |
| ·算术表达式的求值 | 第24-25页 |
| ·布尔表达式的求值 | 第25页 |
| ·命令的执行 | 第25-26页 |
| ·IMP 的指称语义 | 第26-28页 |
| ·算术表达式的指称 | 第26-27页 |
| ·布尔表达式的指称 | 第27页 |
| ·命令的指称 | 第27-28页 |
| ·IMP 的公理语义—霍尔规则 | 第28-30页 |
| 第三章 IMP 程序的算子分量矩阵模型 | 第30-49页 |
| ·算子分量 | 第30-33页 |
| ·复合函数的算子分量形式 | 第33-35页 |
| ·IMP 算术表达式的算子分量形式 | 第35-39页 |
| ·IMP 布尔表达式的算子分量形式 | 第39-40页 |
| ·IMP 命令的算子分量矩阵形式 | 第40-45页 |
| ·赋值语句 | 第40-41页 |
| ·skip 语句 | 第41-42页 |
| ·复合语句 | 第42页 |
| ·条件语句 | 第42-43页 |
| ·while 循环语句 | 第43-45页 |
| ·IMP 程序的算子分量矩阵模型 | 第45-49页 |
| 第四章 基于 OCM 模型的程序依赖分析 | 第49-68页 |
| ·黑盒依赖分析 | 第49-57页 |
| ·程序的正规化 | 第57-60页 |
| ·白盒依赖分析 | 第60-68页 |
| 第五章 基于 OCM 模型的程序诊断 | 第68-94页 |
| ·同构假定 | 第68-70页 |
| ·规范 | 第70-73页 |
| ·基于OCM 模型的程序诊断基础 | 第73-83页 |
| ·IMP 程序的电路模型 | 第73-75页 |
| ·测试用例的选择 | 第75-78页 |
| ·严格同构假定下的程序诊断 | 第78-81页 |
| ·一个程序诊断的例子 | 第81-83页 |
| ·基于 OCM 模型的分段和分层的程序诊断方法 | 第83-89页 |
| ·分段诊断 | 第83-86页 |
| ·分层诊断 | 第86-89页 |
| ·与两类经典的基于模型的程序诊断方法的比较 | 第89-94页 |
| 第六章 基于值域分析的诊断鉴别技术 | 第94-106页 |
| ·域运算 | 第94-98页 |
| ·基于值域分析的程序诊断鉴别 | 第98-100页 |
| ·值域分析的诊断鉴别方法在其他系统上的应用 | 第100-106页 |
| 第七章 扩展了数组类型的 IMP-A 程序的 OCM 模型 | 第106-118页 |
| ·IMP-A 语言的语法 | 第106-107页 |
| ·数组在算子矩阵模型中的表示方法 | 第107-115页 |
| ·下标变量的依赖关系 | 第115-118页 |
| 第八章 利用遗传编程实现自动纠错 | 第118-127页 |
| ·引言 | 第118页 |
| ·IMP 程序的哥德尔二叉树编码 | 第118-121页 |
| ·遗传编程 | 第121-125页 |
| ·个体编码方法 | 第121-123页 |
| ·目标函数和适应度函数的选取 | 第123-124页 |
| ·种群和遗传算子的选择 | 第124-125页 |
| ·实验系统 | 第125-127页 |
| 结语 | 第127-129页 |
| 参考文献 | 第129-137页 |
| 致谢 | 第137-138页 |
| 作者完成的部分论文 | 第138-139页 |