An empirical investigation on the challenges of creating custom static analysis rules for defect localization.

Autor: Mendonça DS; (CEFET/RJ), Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Rio de Janeiro, Brazil., Kalinowski M; Pontifícia Universidade Católica Do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil.
Jazyk: angličtina
Zdroj: Software quality journal [Softw Qual J] 2022; Vol. 30 (3), pp. 781-808. Date of Electronic Publication: 2022 Jan 27.
DOI: 10.1007/s11219-021-09580-z
Abstrakt: Custom static analysis rules, i.e., rules specific for one or more applications, have been successfully applied to perform corrective and preventive software maintenance. Pattern-driven maintenance (PDM) is a method designed to support the creation of such rules during software maintenance. However, as PDM was recently proposed, few maintainers have reported on its usage. Hence, the challenges and skills needed to apply PDM properly are unknown. In this paper, we investigate the challenges faced by maintainers on applying PDM for creating custom static analysis rules for defect localization. We conducted an observational study on novice maintainers creating custom static analysis rules by applying PDM. The study was divided into three tasks: (i) identifying a defect pattern, (ii) programming a static analysis rule to locate instances of the pattern, and (iii) verifying the located instances. We analyzed the efficiency and acceptance of maintainers on applying PDM and their comments on task challenges. We observed that previous knowledge on debugging, the subject software, and related technologies influenced the performance of maintainers as well as the time to learn the technology involved in rule programming. The results strengthen our confidence that PDM can help maintainers in producing custom static analysis rules for locating defects. However, a proper selection and training of maintainers is needed to apply PDM effectively. Also, using a higher level of abstraction can ease static analysis rule programming for novice maintainers.
Competing Interests: Conflict of interestThe authors declare no competing interests.
(© The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021.)
Databáze: MEDLINE
Externí odkaz: