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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01141395
Contributor : Benoit Combemale <>
Submitted on : Wednesday, April 15, 2015 - 1:30:08 PM
Last modification on : Thursday, November 15, 2018 - 11:58:48 AM
Long-term archiving on : Monday, September 14, 2015 - 7:15:51 AM

File

slicing_modularity_no_copyrigh...
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

631

Files downloads

202