Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization

Abstract : 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.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, In press, pp.1-24
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01763410
Contributeur : Zheng Cheng <>
Soumis le : mercredi 11 avril 2018 - 10:01:07
Dernière modification le : jeudi 19 avril 2018 - 11:46:06

Fichier

sttt2018.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01763410, version 1

Citation

Zheng Cheng, Massimo Tisi. Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization. International Journal on Software Tools for Technology Transfer, Springer Verlag, In press, pp.1-24. 〈hal-01763410〉

Partager

Métriques

Consultations de la notice

79

Téléchargements de fichiers

23