State machine flattening, a mapping study and tools assessment

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

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 scalable tool support, cornerstones of reliable model-based behavioural development.

langue originaleAnglais
titre2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings
Sous-titreA-MOST '15
EditeurIEEE
Pages1-8
Nombre de pages8
ISBN (imprimé)9781479918850
Les DOIs
Etat de la publicationPublié - 13 mai 2015
Evénement2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Graz, Autriche
Durée: 13 avr. 201517 avr. 2015

Une conférence

Une conférence2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015
PaysAutriche
La villeGraz
période13/04/1517/04/15

Empreinte digitale Examiner les sujets de recherche de « State machine flattening, a mapping study and tools assessment ». Ensemble, ils forment une empreinte digitale unique.

  • Projets

    Activités

    • 1 Participation à une conférence, un congrès
    • 1 Participation à un atelier/workshop, un séminaire, un cours

    11th Workshop on Advances in Model Based Testing (A-MOST '15)

    Xavier Devroey (Conférencier)

    17 avr. 2015

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

    8th IEEE International Conference on Software Testing, Verification and Validation (ICST '15)

    Xavier Devroey (Participant)

    14 avr. 201516 avr. 2015

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Thèses de l'étudiant

    Behavioural model-based testing of software product lines

    Author: Devroey, X., 30 août 2017

    Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

    Thèse de l'étudiant: Doc typesDocteur en Sciences

    Fichier

    Contient cette citation

    Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A., & Heymans, P. (2015). State machine flattening, a mapping study and tools assessment. Dans 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15 (p. 1-8). [7107408] IEEE. https://doi.org/10.1109/ICSTW.2015.7107408