paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Slicer4D: A Slicing-based Debugger for Java

Slicer4D:一种面向 Java 的基于切片的调试器
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10 · 论文是面向 Java 的动态切片调试工具,属于程序分析与软件工程范畴,但与用户核心关注的 PL+AI、LLM/Agent 改进静态分析、浮点程序分析或贝叶斯程序分析均无直接关联,也非 ML/Agentic 程序场景。引用 0 inbox
Sahar Badihi, Sami Nourji, Julia Rubin
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:将动态切片能力集成到 IntelliJ IDEA 调试器,提供可视化界面并支持多种切片技术扩展。

软件故障调试耗时,程序切片可帮助开发者只关注与故障相关的代码。然而现有切片工具多从命令行启动并输出日志,开发者需在 IDE 与命令行之间切换并手工关联结果,阻碍了切片调试的实际采用。为此,作者实现 Slicer4D:一个扩展 IntelliJ IDEA 调试器的插件,为开发者提供友好的动态切片界面,将注意力聚焦到与故障相关的代码片段。该工具采用可扩展设计,以便集成多种切片技术。论文给出工具实现与在线评估包,期望通过将动态切片无缝融入熟悉的开发环境来提升开发者生产力。

问题
程序切片虽有助于调试,但缺少与主流 IDE 的集成;命令行工具和日志输出使开发者需手工关联切片结果与源码,难以在实践中采用。
方法
在 IntelliJ IDEA 调试器中实现插件 Slicer4D,提供动态切片的用户界面,并采用可扩展架构支持集成多种切片技术。
评估
论文提供工具实现与在线评估包,展示并评估该插件在 IDE 中使用动态切片辅助调试的可行性。
原文摘要(Abstract)

Debugging software failures often demands significant time and effort. Program slicing is a technique that can help developers fast track the debugging process by allowing them to focus only on the code relevant to the failure. However, despite the effectiveness of slicing, these techniques are not integrated into modern IDEs. Instead, most, if not all, current slicing tools are launched from the command line and produce log files as output. Developers thus have to switch between the IDE and command line tools, manually correlating the log file results with their source code, which hinders the adoption of the slicing-based debugging approaches in practice.To address this challenge, we developed a plugin extending the debugger of IntelliJ IDEA – one of the most popular IDEs – with slicing capabilities. We named our slicing-based debugger extension Slicer4D. Slicer4D offers a user-friendly interface for developers to perform dynamic slicing and further enhances the debugging experience by focusing the developers’ attention only on the parts of the code relevant to the failure. Additionally, Slicer4D is designed in an extensible way, to support integration of a variety of slicing techniques. We hope our tool will pave the way to enhancing developer productivity by seamlessly incorporating dynamic slicing into a familiar development environment.Tool implementation and evaluation package is online [16].

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{BadihiNR24,
  title = {Slicer4D: A Slicing-based Debugger for Java},
  author = {Sahar Badihi and Sami Nourji and Julia Rubin},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695363}
}