Transformation- and Pattern-based State Machine Mining from Embedded C Code

Andreas Grosche, Burkhard Igel, Olaf Spinczyk

2020

Abstract

Automated extraction of state machine models from source code can improve comprehension of software system behavior required for many maintenance tasks and reuse in general. Furthermore, it can be used for subsequent automated processing such as refactoring and model-based verification. This paper presents an approach based on normalizing transformations of an input program and a pattern to find state machine implementations in the program and to extract relevant information. The results are used to create state machine models containing states, transitions, events, guards and actions. Fine-grained traceability between the model and the source code enables navigation and refactoring of model elements. We evaluate the approach by applying a prototypical implementation to industrial automotive embedded code and show that 74 % of the expected state machine implementations can be completely identified and 8 % partially.

Paper Citation

in Harvard Style

Grosche A., Igel B. and Spinczyk O. (2020). Transformation- and Pattern-based State Machine Mining from Embedded C Code.In Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-443-5, pages 104-115. DOI: 10.5220/0009769801040115

in Bibtex Style

@conference{icsoft20,
author={Andreas Grosche and Burkhard Igel and Olaf Spinczyk},
title={Transformation- and Pattern-based State Machine Mining from Embedded C Code},
booktitle={Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2020},
pages={104-115},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009769801040115},
isbn={978-989-758-443-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Transformation- and Pattern-based State Machine Mining from Embedded C Code
SN - 978-989-758-443-5
AU - Grosche A.
AU - Igel B.
AU - Spinczyk O.
PY - 2020
SP - 104
EP - 115
DO - 10.5220/0009769801040115