State machine flattening, a mapping study and tools assessment

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publication2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings
Subtitle of host publicationA-MOST '15
PublisherIEEE
Pages1-8
Number of pages8
ISBN (Print)9781479918850
DOIs
Publication statusPublished - 13 May 2015
Event2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Graz, Austria
Duration: 13 Apr 201517 Apr 2015

Conference

Conference2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015
CountryAustria
CityGraz
Period13/04/1517/04/15

Fingerprint

Scalability
Large scale systems
Availability
Testing

Keywords

  • Flattening
  • State machine
  • Systematic Mapping Study

Cite this

Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A., & Heymans, P. (2015). State machine flattening, a mapping study and tools assessment. In 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15 (pp. 1-8). [7107408] IEEE. https://doi.org/10.1109/ICSTW.2015.7107408
Devroey, Xavier ; Cordy, Maxime ; Schobbens, Pierre Yves ; Legay, Axel ; Heymans, Patrick. / State machine flattening, a mapping study and tools assessment. 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, 2015. pp. 1-8
@inproceedings{3d98f9937ff14aafa0a8d79223f02679,
title = "State machine flattening, a mapping study and tools 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 = "Flattening, State machine, Systematic Mapping Study",
author = "Xavier Devroey and Maxime Cordy and Schobbens, {Pierre Yves} and Axel Legay and Patrick Heymans",
year = "2015",
month = "5",
day = "13",
doi = "10.1109/ICSTW.2015.7107408",
language = "English",
isbn = "9781479918850",
pages = "1--8",
booktitle = "2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings",
publisher = "IEEE",

}

Devroey, X, Cordy, M, Schobbens, PY, Legay, A & Heymans, P 2015, State machine flattening, a mapping study and tools assessment. in 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15., 7107408, IEEE, pp. 1-8, 2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015, Graz, Austria, 13/04/15. https://doi.org/10.1109/ICSTW.2015.7107408

State machine flattening, a mapping study and tools assessment. / Devroey, Xavier; Cordy, Maxime; Schobbens, Pierre Yves; Legay, Axel; Heymans, Patrick.

2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, 2015. p. 1-8 7107408.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

TY - GEN

T1 - State machine flattening, a mapping study and tools assessment

AU - Devroey, Xavier

AU - Cordy, Maxime

AU - Schobbens, Pierre Yves

AU - Legay, Axel

AU - Heymans, Patrick

PY - 2015/5/13

Y1 - 2015/5/13

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 - Flattening

KW - State machine

KW - Systematic Mapping Study

UR - http://www.scopus.com/inward/record.url?scp=84934325328&partnerID=8YFLogxK

U2 - 10.1109/ICSTW.2015.7107408

DO - 10.1109/ICSTW.2015.7107408

M3 - Conference contribution

SN - 9781479918850

SP - 1

EP - 8

BT - 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

PB - IEEE

ER -

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