Path Conditions Help to Locate and Localize Faults from Programs

TL;DR

This paper introduces a runtime method using path conditions to automatically identify minimal sets of faulty code lines, aiding static analysis and fault localization in programs.

Contribution

It proposes a novel approach leveraging path conditions and heuristics to generate minimal fault candidate sets, advancing fault localization techniques.

Findings

Effective identification of minimal faulty code sets

Potential to improve static program analysis

Based on initial analysis results

Abstract

Precisely and automatically detection of faults in programs, is a software engineering dream. Every effort in this regard takes us one step closer to realizing it. Many efforts have been taken from the people of these areas on testing, verification and debugging. We are proposing such effort for the research community of this domain is using path conditions to generate a minimal set of PLOFC (possible lines of faulty code). It's a run time method that will effectively bring the minimal possible set of faulty lines of code through the help of path conditions and some heuristics involved. In this paper we are generating possible fault locations from programs using path conditions which can put positive impact on the static analysis of programs. Further we discuss the basic ideas regarding path conditions, the theory, and first analysis results. This work is based on a previous work that uses the variable dependences for fault detection. We showed some examples to the applicable of this idea and can be useful for software verification.