一句话:提出 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%。
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.