An effective fault localization approach for Verilog based on enhanced contexts

Xia, Lei
DOI: https://doi.org/10.1007/s11704-024-2622-6
IF: 2.6688
2024-06-07
Frontiers of Computer Science
Abstract:The HDL research community recognizes the pivotal role of bug localization in the debugging workflow, offering substantial relief to developers. This paper introduces ContextHD, a robust bug localization method tailored for Verilog, leveraging enhanced contexts. ContextHD integrates static slicing techniques with advanced suspiciousness measurement methods to generate a prioritized list of statements based on their suspicious values, arranged in descending order. Our experimental evaluation involved comparing ContextHD with seven established state-of-the-art bug localization techniques. The results unequivocally demonstrate that ContextHD outperforms these methods significantly. Future endeavors include refining ContextHD to further enhance its accuracy.
computer science, information systems, theory & methods, software engineering
What problem does this paper attempt to address?