Reverse Engineering Models from Legacy Code
The automatic test-generation and execution offered by Reactis enables engineers to easily check whether a reverse-engineered model conforms to the behavior of legacy code.
Model-based design technology can also play an important role with regard to legacy systems. Such systems are often poorly documented and very difficult to modify to meet evolving system requirements due to the fragile nature of the underlying code. It would benefit developers to have a precise and unambiguous model of the behavior of a legacy system for which they were responsible. Such a model would serve as a formal and executable specification of the legacy system, thereby facilitating system maintenance, documentation, and evolution. The focus of this section is on how Reactis can indeed be used to derive, or “reverse engineer”, models from code.