State machine flattening, a mapping study and tools assessment

Xavier Devroey 1 Gilles Perrouin 1 Maxime Cordy 1 Pierre-Yves Schobbens 1 Patrick Heymans 1 Axel Legay 2
1 PReCISE - PReCISE Research Centre in Information Systems Engineering
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can then be transformed into executable code or inputs for model-based testing and verification techniques. Generated artifacts are mostly flat descriptions of system behaviour. Flattening is thus an essential step of these transformations. To assess the importance of flattening, we have defined and applied a systematic mapping process and 30 publications were finally selected. However, it appeared that flattening is rarely the sole focus of the publications and that care devoted to the description and validation of flattening techniques varies greatly. Preliminary assessment of associated tool support indicated limited tool availability and scalability on challenging models. We see this initial investigation as a first step towards generic flattening techniques and scal-able tool support, cornerstones of reliable model-based behavioural development.
Keywords : State machine Flattening System-atic mapping study Tools experimentation
Type de document :
Communication dans un congrès
8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. 2015, 〈10.1109/ICSTW.2015.7107408〉
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-01242787
Contributeur : Fabrizio Biondi <>
Soumis le : lundi 14 décembre 2015 - 10:00:27
Dernière modification le : mercredi 11 avril 2018 - 02:01:19
Document(s) archivé(s) le : mardi 15 mars 2016 - 11:31:55

Fichier

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

Identifiants

Collections

INRIA | IRISA | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-RENNES | INRIA-RENGRE

Citation

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, et al.. State machine flattening, a mapping study and tools assessment. 8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. 2015, 〈10.1109/ICSTW.2015.7107408〉. 〈hal-01242787〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

479

Téléchargements de fichiers

228

Contact


archive-ouverte@inria.fr