Automatic recovery of statecharts from procedural code

Authors:
Moria Abadi;Yishai A. Feldman
Affiliations:
Tel Aviv University, Israel;IBM Research, Israel
Venue:
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Year:
2012

Citing 5
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Internetworking with TCP/IP, Vol 2: Design, Implementation, and Internals (4th Edition)

Internetworking with TCP/IP, Vol 2: Design, Implementation, and Internals (4th Edition)
Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems

Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems
Improving slice accuracy by compression of data and control flow paths

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Refactoring of statecharts

NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have developed a static-analysis algorithm that extracts statecharts from procedural implementations of state machines. The extracted statecharts are semantically-equivalent to the original program, and can be used for further development instead of the procedural code. We have implemented this algorithm in a tool called StatRec. We report on the results of running StatRec on a number of examples, including an implementation of the TCP protocol.