Locating Causes of Program Failures
Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970
Locating Causes of Program Failures.
27th International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, May 2005.
"Cause transitions are not only good locations for fixes—they actually locate the defects that cause the failure. In fact, we show that cause transitions are significantly better locators of defects than any other methods previously known." (Case study: The GCC failure)
"Overall, to locate the defect, the programmer had to follow just one backwards dependency from the last isolated cause transition. In numbers, this translates into just 2 lines out of 338,000 lines of GCC code. Even if we assume the programmer examines all 9 transitions and all direct dependencies, the effort to locate the GCC defect is minimal." (Introduction)
Get the paper in PDF format (10 pages, 322k).
AbstractWhich is the defect that causes a software failure? By comparing the program states of a failing and a passing run, we can identify the state differences that cause the failure. However, these state differences can occur all over the program run. Therefore, we focus in space on those variables and values that are relevant for the failure, and in time on those moments where cause transitions occur—moments where new relevant variables begin being failure causes: “Initially, variable argc was 3; therefore, at shell_sort(), variable a was 0, and therefore, the program failed.” In our evaluation, cause transitions locate the failure-inducing defect twice as well as the best methods known so far.
See Also...<email@example.com> · http://www.st.cs.uni-saarland.de/papers/icse2005/ · Stand: 2018-04-05 13:41