Debugging through Evaluation Sequences: A Controlled Experimental Study

  • Authors:
  • Zhenyu Zhang;Bo Jiang;W. K. Chan;T. H. Tse

  • Affiliations:
  • -;-;-;-

  • Venue:
  • COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates between successful and failure-causing runs. While short-circuit evaluations are common in program execution, treating predicates as atomic units ignores this fact, masking out various types of important statistics. On the contrary, are such statistics useful for debugging? In this paper, we investigate experimentally the impact of the use of short-circuit evaluation information on fault localization. The results show that, by doing so, it significantly improves predicate-based statistical fault-localization techniques.