一种基于异常控制流的错误程序行为分析方法

An Approach to Analyzing Erroneous Program Behavior Based on Exception Control Flow

摘要:

通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息，采用故障注入实验，分析了程序的“故障差错异常”传播过程.结合函数级异常控制流的描述，对异常相关的差错及其对程序行为的影响进行了分析，建立了基于异常控制流的错误程序行为模型，开发了相应的分析工具.以OpenStack核心组件为对象进行实验，结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.

关键词:错误程序行为; 软件差错; 异常控制流; 故障注入

Abstract:

In this paper, the propagation process of “fault-error-exception” chain in programs is analyzed by fault injection experiments. With representation of the exception control flow at function level, the error and its impact on program behavior are analyzed, a model of erroneous program behavior is established. An automatic analysis tool based on the proposed approach is developed and is used to analyze the erroneous behaviors of the significant components in OpenStack. The experimental results validate the validity and rationality of the proposed approach, which provides a new means to automatically analyze the erroneous behavior and collect the valid error set for largescale programs with exception handling mechanism.

Key words:erroneous program behavior; software error; exception control flow; fault injection