Title :
Automatic recovery of statecharts from procedural code
Author :
Abadi, Mahdi ; Feldman, Yishai A.
Author_Institution :
Blavatnik Sch. of Comput. Sci., Tel Aviv Univ., Tel Aviv, Israel
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.
Keywords :
C language; Java; finite state machines; program diagnostics; C language; Java; StatRec tool; TCP protocol; automatic statechart recovery; procedural code; state machine; statechart extraction; static-analysis algorithm; transport control protocol; State machines; statecharts; static analysis;
Conference_Titel :
Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on
Conference_Location :
Essen
Print_ISBN :
978-1-4503-1204-2
DOI :
10.1145/2351676.2351711
