Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
| Title | Towards Static Recovery of Micro State Transitions from Legacy Embedded Code |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Yamamoto, Ryota, Yoshida, Norihiro, Takada, Hiroaki |
| Conference Name | Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference |
| Publisher | ACM |
| ISBN Number | 978-1-4503-6057-9 |
| Keywords | code analysis, composability, Human Behavior, pubcrawl, Resiliency, reverse-engineering, State Transition Table, static code analysis |
| Abstract | During the development of an embedded system, state transition models are frequently used for modeling at several abstraction levels. Unfortunately, specification documents including such model are often lost or not up to date during maintenance/reuse. Based on our experience in industrial collaboration, we present Micro State Transition Table (MSTT) to help developers understanding embedded code based on a fine-grained state transition model. We also discuss the challenges of static recovery of an MSTT. |
| URL | https://dl.acm.org/citation.cfm?doid=3278177.3278178 |
| DOI | 10.1145/3278177.3278178 |
| Citation Key | yamamoto_towards_2018 |