创建用于缺陷定位的自定义静态分析规则的挑战：一项实证研究
软件工程
2021-11-19 v3
摘要
背景：自定义静态分析规则，即针对一个或多个应用特定的规则，已成功应用于纠正性和预防性软件维护。模式驱动维护（PDM）是一种旨在支持在软件维护期间创建此类规则的方法。然而，由于 PDM 近期才被提出，鲜有维护者报告其使用情况。因此，恰当应用 PDM 所需的挑战与技能尚属未知。目的：本文中，我们调查维护者在应用 PDM 创建用于缺陷定位的自定义静态分析规则时所面临的挑战。方法：我们对新手维护者应用 PDM 创建自定义静态分析规则进行了观察性研究。研究分为三个任务：（i）识别缺陷模式，（ii）编写静态分析规则以定位该模式的实例，以及（iii）验证定位到的实例。我们分析了维护者应用 PDM 的效率与接受度，以及他们对任务挑战的评论。结果：我们观察到，关于调试、目标软件及相关技术的先前知识影响了维护者的表现以及学习规则编程所涉及技术的时间。结论：结果增强了我们的信心，即 PDM 可帮助维护者生成用于定位缺陷的自定义静态分析规则。然而，需要恰当选拔与培训维护者以有效应用 PDM。此外，使用更高层次的抽象可简化新手维护者的静态分析规则编程。
引用
@article{arxiv.2011.12886,
title = {An Empirical Investigation on the Challenges of Creating Custom Static Analysis Rules for Defect Localization},
author = {Diogo Silveira Mendonça and Marcos Kalinowski},
journal= {arXiv preprint arXiv:2011.12886},
year = {2021}
}