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

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.