论文信息 - Simplifying and Isolating Failure-Inducing Input

Simplifying and Isolating Failure-Inducing Input

Given some test case, a program fails. Which circumstances of the test case are responsible for the particular failure? The delta debugging algorithm generalizes and simplifies the failing test case to a minimal test case that still produces the failure. It also isolates the difference between a passing and a failing test case. In a case study, the Mozilla Web browser crashed after 95 user actions. Our prototype implementation automatically simplified the input to three relevant user actions. Likewise, it simplified 896 lines of HTML to the single line that caused the failure. The case study required 139 automated test runs or 35 minutes on a 500 MHz PC.

Andreas Zeller | Ralf Hildebrandt | A. Zeller | Ralf Hildebrandt

[1] Mark Weiser,et al. Programmers use slices when debugging , 1982, CACM.

[2] Barton P. Miller,et al. An empirical study of the reliability of UNIX utilities , 1990, Commun. ACM.

[3] Joseph Robert Horgan,et al. Dynamic program slicing , 1990, PLDI '90.

[4] Corporate Ieee. IEEE Std 1003.3-1991, IEEE Standard for Information Technology: Test Methods for Measuring Conformance to POSIX , 1991 .

[5] David B. Whalley,et al. Automatic isolation of compiler errors , 1994, TOPL.

[6] Barton P. Miller,et al. Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services , 1995 .

[7] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..

[8] Andreas Zeller,et al. Unified versioning through feature logic , 1997, TSEM.

[9] Donald R. Slutz,et al. Massive Stochastic Testing of SQL , 1998, VLDB.

[10] Andreas Zeller,et al. Yesterday, my program worked. Today, it does not. Why? , 1999, ESEC/FSE-7.

[11] Timothy S. Newman,et al. Performance Comparison , 2021, Satellite Formation Flying.

[12] Tibor Gyimóthy,et al. An efficient relevant slicing method for debugging , 1999, ESEC/FSE-7.