paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Botsing, a search-based crash reproduction framework for Java

Botsing:面向 Java 的基于搜索的崩溃复现框架
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10 · 论文属于基于搜索的软件测试与崩溃复现(动态测试/调试),与用户画像核心方向(静态分析、LLM/Agent 结合、浮点程序分析、贝叶斯程序分析)没有直接关联,仅在广义程序分析领域有微弱交集。引用 20 inbox
Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella, Andy Zaidman, Arie van Deursen
crossref: 2026-09-12

AI 速览

一句话:提出开源可扩展的基于搜索的 Java 崩溃复现框架 Botsing,可从栈回溯自动生成复现测试。

论文关注自动崩溃复现问题:从崩溃栈回溯出发生成能够复现该崩溃的测试用例,以辅助开发者调试。作者提出 Botsing,一个面向 Java 的开源、基于搜索的崩溃复现框架,实现了该领域当前最优方法与新颖方法。Botsing 具有文档完善的模块化架构,便于扩展和实现新的崩溃复现改进技术。作者将 Botsing 应用于来自开源系统的大量崩溃栈回溯,并与工业合作伙伴对生成的崩溃复现测试用例进行了定性评估。结果表明,Botsing 能够复现相当数量的给定栈回溯。

问题
如何从崩溃栈回溯自动生成能够复现崩溃的测试用例,从而帮助开发者进行调试。
方法
采用基于搜索的软件测试技术,实现开源、可扩展的 Java 框架 Botsing,集成了当前最优与新颖的崩溃复现方法。
评估
在来自开源系统的大量崩溃栈回溯上应用 Botsing,并与工业合作伙伴对生成的复现测试用例进行定性评估;Botsing 能复现相当数量的栈回溯。
原文摘要(Abstract)

Approaches for automatic crash reproduction aim to generate test cases that reproduce crashes starting from the crash stack traces. These tests help developers during their debugging practices. One of the most promising techniques in this research field leverages search-based software testing techniques for generating crash reproducing test cases. In this paper, we introduce Botsing, an open-source search-based crash reproduction framework for Java. Botsing implements state-of-the-art and novel approaches for crash reproduction. The well-documented architecture of Botsing makes it an easy-to-extend framework, and can hence be used for implementing new approaches to improve crash reproduction. We have applied Botsing to a wide range of crashes collected from open source systems. Furthermore, we conducted a qualitative assessment of the crash-reproducing test cases with our industrial partners. In both cases, Botsing could reproduce a notable amount of the given stack traces.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5880,
  title = {Botsing, a search-based crash reproduction framework for Java},
  author = {Pouria Derakhshanfar and Xavier Devroey and Annibale Panichella and Andy Zaidman and Arie van Deursen},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3415299}
}