Reverse engineering is immersed in a variety of tasks related to comprehending and modifying software. Among these tasks are recovering of designs and architectures, migration and modernization of legacy systems. With the emergence of the Model Driven Architecture (MDA), new approaches should be developed in order to reverse engineering both platform-dependent and platform-independent models from object-oriented code. This paper contributes an MDA-based framework. Different techniques are integrated, with special emphasis on testing and verification. We propose to apply static and dynamic analysis to generate models from migrated object-oriented code and, semi-formal and formal metamodeling techniques for maintaining consistency in reverse engineering processes.