State Machine Flattening: Mapping Study and 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

91 Downloads (Pure)

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 Eighth International Conference on Software Testing, Verification and Validation Workshops
Sous-titreICSTW
EditeurIEEE
Nombre de pages13
étatPublié - 21 mars 2014

Empreinte digitale

Scalability
Large scale systems
Availability
Testing

Citer ceci

Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y., & Heymans, P. (2014). State Machine Flattening: Mapping Study and Assessment. Dans 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW IEEE.
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. / State Machine Flattening : Mapping Study and Assessment. 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 2014.
@inproceedings{8de8646105704abe9915ff4188bb9415,
title = "State Machine Flattening: Mapping Study and Assessment",
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 scalable tool support, cornerstones of reliable model-based behavioural development.",
keywords = "State machine, Flattening, Systematic Mapping Study, Tools experimentation",
author = "Xavier Devroey and Gilles Perrouin and Maxime Cordy and Axel Legay and Pierre-Yves Schobbens and Patrick Heymans",
year = "2014",
month = "3",
day = "21",
language = "English",
booktitle = "2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops",
publisher = "IEEE",

}

Devroey, X, Perrouin, G, Cordy, M, Legay, A, Schobbens, P-Y & Heymans, P 2014, State Machine Flattening: Mapping Study and Assessment. Dans 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE.

State Machine Flattening : Mapping Study and Assessment. / Devroey, Xavier; Perrouin, Gilles; Cordy, Maxime; Legay, Axel; Schobbens, Pierre-Yves; Heymans, Patrick.

2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 2014.

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

TY - GEN

T1 - State Machine Flattening

T2 - Mapping Study and Assessment

AU - Devroey, Xavier

AU - Perrouin, Gilles

AU - Cordy, Maxime

AU - Legay, Axel

AU - Schobbens, Pierre-Yves

AU - Heymans, Patrick

PY - 2014/3/21

Y1 - 2014/3/21

N2 - 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.

AB - 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.

KW - State machine

KW - Flattening

KW - Systematic Mapping Study

KW - Tools experimentation

M3 - Conference contribution

BT - 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops

PB - IEEE

ER -

Devroey X, Perrouin G, Cordy M, Legay A, Schobbens P-Y, Heymans P. State Machine Flattening: Mapping Study and Assessment. Dans 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE. 2014