A delta‐oriented approach to support the safe reuse of black‐box code rewriters - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Software: Evolution and Process Année : 2019

A delta‐oriented approach to support the safe reuse of black‐box code rewriters

Résumé

Large-scale corrective and perfective maintenance is often automated thanks to rewriting rules using tools such as Python2to3, Spoon or Coccinelle. Such tools consider these rules as black-boxes and compose multiple rules by chaining them: giving the output of a given rewriting rule as input to the next one. It is up to the developer to identify the right order (if it exists) among all the different rules to yield the right program. In this paper, we define a formal model compatible with the black-box assumption that reifies the modifications (∆s) made by each rule. Leveraging these ∆s, we propose a way to safely compose multiple rules when applied to the same program by (i) ensuring the isolated application of the different rules and (ii) identifying unexpected behaviors that were silently ignored before. We assess this approach on two large-scale case studies: (i) identifying conflicts in the Linux source-code automated maintenance and (ii) fixing energy anti-patterns existing in Android applications available on GitHub.
Fichier principal
Vignette du fichier
fix-interferences.pdf (1.77 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02288872 , version 1 (16-09-2019)

Identifiants

Citer

Benjamin Benni, Sébastien Mosser, Naouel Moha, Michel Riveill. A delta‐oriented approach to support the safe reuse of black‐box code rewriters. Journal of Software: Evolution and Process, 2019, 31 (8), ⟨10.1002/smr.2208⟩. ⟨hal-02288872⟩
76 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More