Transforming Abstract to Concrete Repairs with a Generative Approach of Repair Values - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Systems and Software Year : 2021

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

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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 View
289 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More