Towards the use of slicing techniques for an efficient invariant checking

Wuliang Sun 1 Benoit Combemale 2 Robert B. France 1
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : In Model Driven Development (MDD), invariant checking involves determining whether a model is consistent with invariants defined in a metamodel. Such checking can improve developers' understanding of modeled aspects of complex systems and uncover structural errors in design models during the early stages of software development. General-purpose rigorous analysis tools that check invariants are likely to perform the analysis over the entire meta-model and model. Their scalability thus becomes an issue (e.g., the time used for checking can be up to several hours) with very large metamodels and models (e.g., more than 500,000 elements). In this paper we introduce model slicing within the invariant checking process , and use a slicing technique to reduce the size of checking inputs to improve the scalability of existing invariant checking tools. The evaluation we performed provides evidence that model slicing can significantly reduce the time to perform the invariant checking while preserving the checking results.
Type de document :
Communication dans un congrès
MODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, 2015, Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. <http://www.aosd.net/2015/>. <10.1145/2735386.2735926>
Liste complète des métadonnées


https://hal.inria.fr/hal-01141395
Contributeur : Benoit Combemale <>
Soumis le : mercredi 15 avril 2015 - 13:30:08
Dernière modification le : vendredi 17 février 2017 - 16:11:13
Document(s) archivé(s) le : lundi 14 septembre 2015 - 07:15:51

Fichier

slicing_modularity_no_copyrigh...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Wuliang Sun, Benoit Combemale, Robert B. France. Towards the use of slicing techniques for an efficient invariant checking. MODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, 2015, Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. <http://www.aosd.net/2015/>. <10.1145/2735386.2735926>. <hal-01141395>

Partager

Métriques

Consultations de
la notice

254

Téléchargements du document

71