Poster: A Qualitative Reasoning Approach to Spectrum-Based Fault Localization

As spectrum-based fault localization (SFL) reasons about coverage rather than source code, it allows for a lightweight, language agnostic way of pinpointing faults in software. However, SFL misses certain faults, such as errors of omission, and may fail to provide enough contextual information about its diagnoses. We propose Q-SFL, that leverages the concept of qualitative reasoning to augment the information made available to SFL techniques, by qualitatively partitioning the values of data units from the system, and treating each qualitative state as a new SFL component to be used when diagnosing.

[1]  Alessandro Orso,et al.  Are automated debugging techniques actually helping programmers? , 2011, ISSTA '11.

[2]  Shing-Chi Cheung,et al.  Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[3]  Brian C. Williams,et al.  Qualitative Reasoning about Physical Systems: A Return to Roots , 1991, Artif. Intell..

[4]  Kenneth D. Forbus.  Qualitative Reasoning , 1997, The Computer Science and Engineering Handbook.

[5]  Anthony G. Cohn,et al.  Qualitative Reasoning , 1987, Advanced Topics in Artificial Intelligence.

[6]  Johan de Kleer.  Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.

[7]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[8]  Peter Zoeteweij,et al.  A practical evaluation of spectrum-based fault localization , 2009, J. Syst. Softw..

[9]  John T. Stasko,et al.  Visualization of test information to assist fault localization , 2002, ICSE '02.

[10]  G. Stenbakken,et al.  Ambiguity groups and testability , 1989 .

[11]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.