一种基于语句结构的面向对象程序故障检查方法
| 第一章 引言 | 第1-10页 |
| ·程序故障 | 第7页 |
| ·程序故障的分类 | 第7-8页 |
| ·研究现状 | 第8-9页 |
| ·本文完成的工作 | 第9-10页 |
| 第二章 程序故障检查的现有方法 | 第10-13页 |
| ·传统程序的故障检查方法 | 第10页 |
| ·面向对象程序的故障检查方法 | 第10-13页 |
| 第三章 一种面向对象故障的分类方法 | 第13-20页 |
| ·分类前提假设 | 第13-14页 |
| ·故障分类 | 第14-20页 |
| ·ITU—不一致类型使用故障 | 第14-16页 |
| ·SDA—状态定义异常故障 | 第16-17页 |
| ·SDIH—状态隐藏定义不一致故障 | 第17-18页 |
| ·SDI—状态定义不正确故障 | 第18页 |
| ·IISD—间接不一致状态定义故障 | 第18-20页 |
| 第四章 一种基于语句结构的面向对象故障检查方法 | 第20-30页 |
| ·派生类引入扩展方法 | 第22-26页 |
| ·EE—扩展方法调用另一扩展方法 | 第24-25页 |
| ·EI—扩展方法调用继承方法 | 第25页 |
| ·ER—扩展方法调用提纯方法 | 第25-26页 |
| ·EDV | 第26页 |
| ·派生类引入提纯方法 | 第26-30页 |
| ·RE—提纯方法调用扩展方法 | 第26-27页 |
| ·RI—提纯方法调用继承方法 | 第27页 |
| ·RR—提纯方法调用另一提纯方法 | 第27-28页 |
| ·RO—提纯方法调用重写方法 | 第28页 |
| ·RDV/RUV—提纯方法定义/使用继承状态变量 | 第28-30页 |
| 第五章 原型实验系统的设计与实现 | 第30-49页 |
| ·系统环境及实现方法 | 第30页 |
| ·系统总体结构 | 第30-31页 |
| ·原型语言定义 | 第31-35页 |
| ·数据结构定义 | 第35-38页 |
| ·语义动作定义 | 第38-44页 |
| ·算法描述 | 第44-46页 |
| ·实例验证 | 第46-49页 |
| 第六章 今后的工作 | 第49-50页 |
| 结论 | 第50-51页 |
| 参考文献 | 第51-56页 |
| 摘要 | 第56-59页 |
| Abstract | 第59-63页 |
| 致谢 | 第63-64页 |
| 导师及作者简介 | 第64页 |
