Using Slicing to Improve the Performance of Model Invariant Checking

Abstract : In Model Driven Development (MDD), it is important to ensure that a model conforms to the invariants defined in the metamodel. Such invariant checking can improve developers' understanding of modeled aspects of complex systems and uncover structural errors in design models. General-purpose rigorous analysis tools that check invariants are likely to perform the analysis over the entire metamodel and model. Since modern day software is exceedingly complex, the size of the model together with the metamodel can be very large. Consequently, invariant checking can take a very long time. For example, checking a model consisting of 5,000 elements can take up to several hours if the analysis completes. Moreover, sometimes the analysis process cannot be completed as the system resources get exhausted. To this end, we introduce model slicing within the invariant checking process, and use a slicing technique to reduce the size of the inputs in order to make invariant checking of large models feasible with existing tools. The evaluation we performed provides evidence that model slicing can significantly reduce the time to perform the invariant checking. In the experiments that we conducted, we achieved speedups ranging from 1.5 to 36.0 and we also demonstrate the correctness of the checking results.
Type de document :
Article dans une revue
The Journal of Object Technology, Chair of Software Engineering, 2015, pp.28
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01179369
Contributeur : Benoit Combemale <>
Soumis le : mercredi 22 juillet 2015 - 12:52:15
Dernière modification le : mercredi 2 août 2017 - 10:06:57
Document(s) archivé(s) le : vendredi 23 octobre 2015 - 10:51:33

Fichier

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

Licence


Distributed under a Creative Commons Paternité - Pas de modifications 4.0 International License

Identifiants

  • HAL Id : hal-01179369, version 1

Citation

Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, et al.. Using Slicing to Improve the Performance of Model Invariant Checking. The Journal of Object Technology, Chair of Software Engineering, 2015, pp.28. 〈hal-01179369〉

Partager

Métriques

Consultations de
la notice

1210

Téléchargements du document

256