Towards Interactive Mining of Understandable State Machine Models from Embedded Software

Wasim Said, Jochen Quante, Rainer Koschke

2018

Abstract

State machines are an established formalism for specifying the behavior of a software component. Unfortunately, such design models often do not exist at all, especially for legacy code, or they are lost or not kept up to date during software evolution – although they would be very helpful for program comprehension. Therefore, it is desirable to extract state machine models from code and also from legacy models. The few existing approaches for that – when applied to real-world systems written in C – deliver models that are too complex for being comprehensible to humans. This is mainly because C functions are typically much longer than object oriented methods, for which these approaches were originally intended. In this paper, we propose and investigate different measures to reduce the complexity of such mined models to an understandable degree. Since the code alone does not contain all required information for abstraction, user interaction is essential. Also, different users will be interested in different aspects of the code. Therefore, we introduce several possibilities for influencing the state machine extraction process, such as providing additional constraints for reducing the state space. We show the effectiveness of these interactions in several case studies. The combination of these interactions gives the user a rich set of possibilities for exploring the functionality of the software.

Paper Citation

in Harvard Style

Said W., Quante J. and Koschke R. (2018). Towards Interactive Mining of Understandable State Machine Models from Embedded Software.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 117-128. DOI: 10.5220/0006593501170128

in Bibtex Style

@conference{modelsward18,
author={Wasim Said and Jochen Quante and Rainer Koschke},
title={Towards Interactive Mining of Understandable State Machine Models from Embedded Software},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={117-128},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006593501170128},
isbn={978-989-758-283-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards Interactive Mining of Understandable State Machine Models from Embedded Software
SN - 978-989-758-283-7
AU - Said W.
AU - Quante J.
AU - Koschke R.
PY - 2018
SP - 117
EP - 128
DO - 10.5220/0006593501170128