Abstract: Most of the existing exception propagation analysis methods are limited in intra-class, which can not meet the requirement of software development. This paper presents an exception propagation analysis method of object oriented program, which builds an Object Oriented Exception Propagation Analysis Graph(OEPAG) based on the control flow graph of classes. After obtaining the path of exception propagation and the relation of classes, it is effective to analyze the control flow and data flow. Application result shows that result based on OEPAG is more accurate than traditional methods when computing slice for programs which includes exception handling structure.

Key words: object oriented program, exception propagation, data flow, control flow, propagation path

摘要： 现有异常传播分析方法大多局限于单个类内部，不能满足现实软件开发的需求。为此，提出一种面向对象程序的异常传播分析方法，在类控制流图的基础上构建面向对象异常传播分析(OEPAG)图，通过得到异常在类间的传播路径并确定类间关系，从而对控制流和数据流进行有效分析。应用结果表明，将OEPAG图用于含异常处理结构的程序切片时的结果比传统程序切片结果更准确。

关键词: 面向对象程序, 异常传播, 数据流, 控制流, 传播路径

CLC Number: 

• TP311.11