DefinePK

Abstract

Refactoring or Platform migration is a process of improving the underlying design and architecture of legacy systems that subsequently can improve their performance and maintainability. Many of the legacy technologies are no longer supported, hence the need for migration. However, the refactoring tools are not correct in every possible cases and programmers cannot trust them. One has to make sure that the functionality of the legacy system remains intact after going through the process of migration. Hence there is a need to build certified refactoring tools which were useful for industrial developments. In this paper, we will address the complete automated certification mechanism which certifies all the functional components of a service or application and various process involved during the certification phase. We are particularly interested in complex program transformation based on a sequence of refactoring operations provided by eclipse tools.