loading
Documents

Research.Publish.Connect.

Paper

Authors: Andreas Grosche 1 ; Burkhard Igel 2 and Olaf Spinczyk 3

Affiliations: 1 Behr-Hella Thermocontrol GmbH, Hansastraße 40, 59557 Lippstadt, Germany ; 2 Fachhochschule Dortmund, Sonnenstraße 96, 44139 Dortmund, Germany ; 3 Universität Osnabrück, Wachsbleiche 27, 49090 Osnabrück, Germany

ISBN: 978-989-758-443-5

Keyword(s): State Machine Extraction, Model Mining, Reverse Engineering, Program Comprehension, Refactoring.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.67.179

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.