Transforming Abstract to Concrete Repairs with a Generative Approach of Repair Values - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Systems and Software Année : 2021

Transforming Abstract to Concrete Repairs with a Generative Approach of Repair Values

Résumé

Software models, often comprise of interconnected diagrams, change continuously, and developers often fail in keeping these diagrams consistent. Detecting inconsistencies quickly and efficiently is state of the art. However, repairing them is not trivial, because there are typically multiple model elements that need to be repaired, leading to an exponentially growing space of combinations of repair choices. Despite extensive research on consistency checking, existing approaches either provide abstract repairs only (i.e., identifying the model element but failing to describe the change), which is not satisfactory. This paper presents a novel approach that provides concrete repair choices based on values from the inconsistent models. Thus, our approach first retrieves repair values from the model, turn them to repair choices, and groups them based on their effects. This grouping lets our approach explore the repair space in its entirety, providing quick example-like feedback for all possible repairs. Our approach and its tool implementation have been empirically assessed on 10 case studies from industry, academia, and GitHub to demonstrate its feasibility and scalability. A comparison with three versioned models shows that our approach identifies useful repair values that developers have chosen.
Fichier principal
Vignette du fichier
Transforming_Abstract_to_Concrete_Repairs_with_a_Generative_Approach_of_Repair_Values.pdf (1.96 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03127118 , version 1 (01-02-2021)

Identifiants

Citer

Roland Kretschmer, Djamel Eddine Khelladi, Alexander Egyed. Transforming Abstract to Concrete Repairs with a Generative Approach of Repair Values. Journal of Systems and Software, 2021, 175, pp.19. ⟨10.1016/j.jss.2020.110889⟩. ⟨hal-03127118⟩
74 Consultations
286 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More