Isolating cause-effect chains from computer programs

Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program state are relevant for the failure? We show how the Delta Debugging algorithm isolates the relevant variables and values by systematically narrowing the state difference between a passing run and a failing run--by assessing the outcome of altered executions to determine wether a change in the program state makes a difference in the test outcome. Applying Delta Debugging to multiple states of the program automatically reveals the cause-effect chain of the failure--that is, the variables and values that caused the failure. In a case study, our prototype implementation successfully isolated the cause-effect chain for a failure of the GNU C compiler: "Initially, the C program to be compiled contained an addition of

• Type: Conference
• Year: 2002
• Where: SIGSOFT
• Authors: Andreas Zeller
• Keywords: Delta Debugging Algorithm, Program State, Relevant Variables, SIGSOFT 2002, Software Engineering