Delta Debugging

Question 1

Global Minimum of C_f

Answer 1

If every other smaller-sized test case from c_f does not cause the test to output F. In another words, any smaller-sized set of changes either passes the test or causes the test to be unresolved.

Question 2

1-minimal input

Answer 2

Find a set of changes that cause the failure, but removing any change causes the failure to go away.

Question 3

local minimum

Answer 3

A failing test case C to be a local minimum of C_F if for every proper subset C’ of C, applying the test function to C’ does not produce a failure. This is in contrast to a global minimum in the following way: for a local minimum, we only restrict our attention to to subsets of the local minimum test case; for a global minimum, there must be no smaller test case that causes the failure.

Question 4

N-minimal

Answer 4

If for every proper subset C’ of C, if the difference in size between C’ and C is no more than n, then the test function applied to C’ does not cause a failure. In another words, C is n-minimal if removing between 1 and n changes from C causes the test function to no longer fail. Just as local minimality, n-minimality is a weakening of notion of locacl minimality.