• DocumentCode
    1900965
  • 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
  • fYear
    2012
  • fDate
    3-7 Sept. 2012
  • Firstpage
    238
  • Lastpage
    241
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1145/2351676.2351711
  • Filename
    6494925
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1900965