一种基于语句结构的面向对象程序故障检查方法

论文摘要

虽然有关程序故障的问题已经被广泛地研究,但是现在仍然存在许多没有被人们所理解的程序故障,尤其是在面向对象程序中存在的故障。检查故障、充分理解故障的特征,对于软件安全至关重要。继承和多态增强了程序语言的可表述性,同时也给程序带来了新的故障/异常类型。针对面向对象程序中由于使用继承机制而产生的故障/异常(如ITU,SDA,SDI 等),本文提出了一种基于语句结构的面向对象程序故障检查方法。这种检查方法是基于语句结构的,例如重写方法直接定义继承状态变量或非继承方法调用继承方法等。如果程序中出现了这样的语句结构,那么我们就认为程序有可能存在故障/异常,例如EE 结构能够证明SDA 异常可能存在,RE 结构能够证明SDA 和IISD 故障可能存在。本文描述了多种面向对象故障类型并且提出了所对应的语句结构。这些语句结构可以利用检测工具进行检测,这样就能够在软件开发过程中尽早发现故障并消除它们。本文实现的原型实验系统表明这种方法是可行的,它为进一步研究面向对象程序的故障/异常奠定了基础。

论文目录

• 第一章 引言
• 1.1 程序故障
• 1.2 程序故障的分类
• 1.3 研究现状
• 1.4 本文完成的工作
• 第二章 程序故障检查的现有方法
• 2.1 传统程序的故障检查方法
• 2.2 面向对象程序的故障检查方法
• 第三章 一种面向对象故障的分类方法
• 3.1 分类前提假设
• 3.2 故障分类
• 3.2.1 ITU—不一致类型使用故障
• 3.2.2 SDA—状态定义异常故障
• 3.2.3 SDIH—状态隐藏定义不一致故障
• 3.2.4 SDI—状态定义不正确故障
• 3.2.5 IISD—间接不一致状态定义故障
• 第四章 一种基于语句结构的面向对象故障检查方法
• 4.1 派生类引入扩展方法
• 4.1.1 EE—扩展方法调用另一扩展方法
• 4.1.2 EI—扩展方法调用继承方法
• 4.1.3 ER—扩展方法调用提纯方法
• 4.1.4 EDV
• 4.2 派生类引入提纯方法
• 4.2.1 RE—提纯方法调用扩展方法
• 4.2.2 RI—提纯方法调用继承方法
• 4.2.3 RR—提纯方法调用另一提纯方法
• 4.2.4 RO—提纯方法调用重写方法
• 4.2.5 RDV/RUV—提纯方法定义/使用继承状态变量
• 第五章 原型实验系统的设计与实现
• 5.1 系统环境及实现方法
• 5.2 系统总体结构
• 5.3 原型语言定义
• 5.4 数据结构定义
• 5.5 语义动作定义
• 5.6 算法描述
• 5.7 实例验证
• 第六章 今后的工作
• 结论
• 参考文献
• 摘要
• Abstract
• 致谢
• 导师及作者简介