Clone Detection In Matlab Stateflow Models
Loading...
Authors
Chen, Jian
Date
2014-09-02
Type
thesis
Language
eng
Keyword
State Machine , Model , Stateflow
Alternative Title
Abstract
Matlab Simulink is one of the leading tools for model based software development in the automotive industry. One extension to Simulink is Stateflow, which allows the user to embed Statecharts as components in a Simulink Model. These state machines contain nested states, an action language that describes events, guards, conditions and actions and complex transitions. As Stateflow has become increasingly important in Simulink models for the automotive sector, we extend previous work on clone detection of Simulink models to Stateflow components.
In this thesis, we present an approach for identifying Stateflow clones in Matlab Stateflow models. In order to leverage robust near-miss code clone technology, our approach is text-based. First, we transform the Stateflow textual representation into a hierarchical textual structure. We implement a SIMONE plugin that normalizes the initial input to remove irrelevant elements and rename irrelevant naming differences to make the process of clone identification more accurate. Finally, we identify potential clone candidates and cluster them into classes.
We conducted experiments with our approach on the Matlab Simulink/Stateflow Demo set. Our approach showed promising results on the identification of Stateflow clones as an isolated component as well as an integrated component of the Simulink models that are hosting them. All of our results are manually validated.
Description
Thesis (Master, Computing) -- Queen's University, 2014-09-02 10:54:09.268
Citation
Publisher
License
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.