Projects per year
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.
|Title of host publication||2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings|
|Subtitle of host publication||A-MOST '15|
|Number of pages||8|
|Publication status||Published - 13 May 2015|
|Event||2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Graz, Austria|
Duration: 13 Apr 2015 → 17 Apr 2015
|Conference||2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015|
|Period||13/04/15 → 17/04/15|
- State machine
- Systematic Mapping Study
FingerprintDive into the research topics of 'State machine flattening, a mapping study and tools assessment'. Together they form a unique fingerprint.
- 1 Finished
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., SCHOBBENS, P. & Perrouin, G.
1/09/11 → 30/08/17
- 1 Participation in workshop, seminar, course
11th Workshop on Advances in Model Based Testing (A-MOST '15)
Xavier Devroey (Speaker)17 Apr 2015
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Behavioural model-based testing of software product linesAuthor: Devroey, X., 30 Aug 2017
Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of SciencesFile