Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Benoit Combemale Connect in order to contact the contributor
Submitted on : Wednesday, April 15, 2015 - 1:30:08 PM
Last modification on : Friday, November 18, 2022 - 9:23:05 AM
Long-term archiving on: : Monday, September 14, 2015 - 7:15:51 AM


Files produced by the author(s)



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, ⟨10.1145/2735386.2735926⟩. ⟨hal-01141395⟩



Record views


Files downloads