Projects per year
Abstract
We present an automated fault localization technique that can assist developers in effectively localizing faults in Python programs. The proposed method combines spectrum-based fault localization techniques, program slicing, and graph-based visualization to formulate an efficient approach for reducing the effort required in fault localization.
The method takes the source code of a program and a set of passed and failed tests, and collects program spectra information by executing the tests. A tool, FaultLocalizer, facilitates the generation of a call graph for inter-procedural dependency analysis and annotated control flow graphs for different modules, enriched with spectra information and suspiciousness scores.
The approach emphasizes the visual analysis of source code and is designed to complement existing fault localization techniques. The effectiveness of the proposed approach is evaluated on a set of buggy Python programs. The results demonstrate that the approach reduces debugging effort and can be applied to programs with conditional branching.
Index Terms—spectrum-based fault localization, program slicing, program spectra
The method takes the source code of a program and a set of passed and failed tests, and collects program spectra information by executing the tests. A tool, FaultLocalizer, facilitates the generation of a call graph for inter-procedural dependency analysis and annotated control flow graphs for different modules, enriched with spectra information and suspiciousness scores.
The approach emphasizes the visual analysis of source code and is designed to complement existing fault localization techniques. The effectiveness of the proposed approach is evaluated on a set of buggy Python programs. The results demonstrate that the approach reduces debugging effort and can be applied to programs with conditional branching.
Index Terms—spectrum-based fault localization, program slicing, program spectra
| Original language | English |
|---|---|
| Title of host publication | 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
| Publisher | IEEE |
| ISBN (Print) | 979-8-3315-3468-4 |
| DOIs | |
| Publication status | Published - 16 Apr 2025 |
| MoE publication type | A4 Article in a conference publication |
| Event | IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Duration: 31 Mar 2025 → … |
Publication series
| Name | IEEE International Conference on Software Testing, Verification and Validation Workshops |
|---|---|
| Publisher | IEEE |
| ISSN (Print) | 2159-4848 |
Conference
| Conference | IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
|---|---|
| Period | 31/03/25 → … |
Keywords
- Spectrum-based fault localization
- program slicing
- program spectra
Access to Document
Fingerprint
Dive into the research topics of 'Visual Spectrum-Based Fault Localization for Python Programs Based on the Differentiation of Execution Slices'. Together they form a unique fingerprint.Projects
- 1 Active
-
VST: Virtual Sea Trial
Truscan, D. (Principal Investigator), Hellström, M. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Project staff), Yaseen, A. (Project staff), Khan, S. (Project staff) & Mughees, A. (Project staff)
01/01/24 → 31/12/26
Project: Industry/Business Finland