Abstract: Exception propagation will bring a lot of difficulties in analyzing, understanding, testing and maintaining programs. To solve the problem that the representation is too complex in describing exception propagation path, based on C++ exception handling, this paper proposes an exception control flow graph model. It constructs an exception propagation graph model based on analyzing various relationships in the course of exception propagation, and discusses the application of the exception propagation graph in the structure testing. Using this graph can show a clear and precise exception propagation path and greatly simplify the analysis.

Key words: exception handling, program analysis, exception propagation, control flow graph

摘要： 异常的传播会给程序的分析、理解、测试和维护工作带来很多困难。为了解决目前在分析异常传播路径中表示方法过于复杂的问题，该文针对C++的异常机制建立异常控制流图模型，在分析异常在传播过程中各种关系的基础上建立异常传播图模型，并对异常传播图在结构测试中的应用进行讨论。使用该模型可以准确清晰地表示出异常传播的路径，大大简化异常传播路径的分析。

关键词: 异常处理, 程序分析, 异常传播, 控制流图

CLC Number: 

• TP311