paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Good things come in threes

好事成三
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10 · 该论文研究的是基于多目标演化算法的崩溃复现测试生成,属于传统软件测试与调试方向,未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与用户研究画像的核心交叉方向关联很弱。引用 8 inbox
Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman, Arie van Deursen, Annibale Panichella
crossref: 2026-09-12

AI 速览

一句话:提出 MO-HO,将崩溃复现搜索多目标化,加入测试长度与方法序列多样性辅助目标,提升复现率与效率。

本文解决崩溃复现测试生成中单目标搜索因测试多样性不足而早熟收敛的问题。作者提出多目标化方法 MO-HO,在 Crash Distance 之外加入最小化测试长度和最大化方法序列多样性两个辅助目标,并使用多目标进化算法搜索。作者在 124 个开源项目非平凡崩溃上评估 NSGA-II、SPEA2、PESA-II、MOEA/D 和 FEMO,发现 SPEA2 最佳,并将其与 Single-Objective Search 和 De-MO 比较。结果显示,MO-HO 能复现 5 个当前方法无法复现的崩溃,并分别在 34.6% 和 36% 的崩溃上提升复现率与效率,部分案例复现率提升达 +93.3%、运行时间减少 92%。

问题
崩溃复现测试生成通常依赖单一 Crash Distance 适应度,缺乏测试多样性,易早熟收敛,导致部分崩溃难以复现。
方法
提出 MO-HO,在 Crash Distance 外引入最小化测试长度与最大化方法序列多样性两个辅助目标,实现崩溃复现的多目标化搜索。
评估
在 124 个开源项目非平凡崩溃上比较五种多目标进化算法并选出 SPEA2,再与 Single-Objective Search 和 De-MO 基线对比。
原文摘要(Abstract)

Writing a test case reproducing a reported software crash is a common practice to identify the root cause of an anomaly in the software under test. However, this task is usually labor-intensive and time-taking. Hence, evolutionary intelligence approaches have been successfully applied to assist developers during debugging by generating a test case reproducing reported crashes. These approaches use a single fitness function called Crash Distance to guide the search process toward reproducing a target crash. Despite the reported achievements, these approaches do not always successfully reproduce some crashes due to a lack of test diversity (premature convergence). In this study, we introduce a new approach, called MO-HO, that addresses this issue via multi-objectivization. In particular, we introduce two new Helper-Objectives for crash reproduction, namely test length (to minimize) and method sequence diversity (to maximize), in addition to Crash Distance. We assessed MO-HO using five multi-objective evolutionary algorithms (NSGA-II, SPEA2, PESA-II, MOEA/D, FEMO) on 124 non-trivial crashes stemming from open-source projects. Our results indicate that SPEA2 is the best-performing multi-objective algorithm for MO-HO. We evaluated this best-performing algorithm for MO-HO against the state-of-the-art: single-objective approach (Single-Objective Search) and decomposition-based multi-objectivization approach (De-MO). Our results show that MO-HO reproduces five crashes that cannot be reproduced by the current state-of-the-art. Besides, MO-HO improves the effectiveness (+10% and +8% in reproduction ratio) and the efficiency in 34.6% and 36% of crashes (i.e., significantly lower running time) compared to Single-Objective Search and De-MO, respectively. For some crashes, the improvements are very large, being up to +93.3% for reproduction ratio and -92% for the required running time.

链接与引用

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

BibTeX
@inproceedings{paperbot6014,
  title = {Good things come in threes},
  author = {Pouria Derakhshanfar and Xavier Devroey and Andy Zaidman and Arie van Deursen and Annibale Panichella},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3416643}
}