Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2018

Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization

Résumé

Model-driven engineering (MDE) is increasingly accepted in industry as an effective approach for managing the full life cycle of software development. In MDE, software models are manipulated, evolved and translated by model transformations (MT), up to code generation. Automatic deductive verification techniques have been proposed to guarantee that transformations satisfy correctness requirements (encoded as transformation contracts). However, to be transferable to industry, these techniques need to be scalable and provide the user with easily accessible feedback.In MT-specific languages like ATL, we are able to infer static trace information (i.e. mappings among types of generated elements and rules that potentially generate these types). In this paper we show that this information can be used to decompose the MT contract and, for each sub-contract, slice the MT to the only rules that may be responsible for fulfilling it. Based on this contribution, we design a fault localization approach for MT, and a technique to significantly enhance scalability when verifying large MTs against a large number of contracts. We implement both these algorithms as extensions of the VeriATL verification system, and we show by experimentation that they increase its industry-readiness.
Fichier principal
Vignette du fichier
sttt2018.pdf (818.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01763410 , version 1 (11-04-2018)

Identifiants

Citer

Zheng Cheng, Massimo Tisi. Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization. International Journal on Software Tools for Technology Transfer, 2018, 20 (6), pp.645-663. ⟨10.1007/s10009-018-0491-8⟩. ⟨hal-01763410⟩
184 Consultations
242 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More