软件维护中基于异常处理结构的别名分析技术

摘要

针对面向对象软件维护中的纠错性维护问题,提出了一种新的别名分析技术.通过扩展传统的控制流图,实现了对程序中的异常处理结构的分析.在扩展控制流图基础上,将别名分析过程划分为流敏感的类内分析和基于需求的类间分析两个阶段,实现了全系统的完整别名分析,从而提高了对包含异常处理结构的程序进行错误诊断的效率.