In order to easily port mobile applications suitable for each platform, that have been developed under diverse development environment for individual wireless communication service providers, or redevelop them on a specific platform, it is required to reuse them at software model level that is a software development paradigm for MDA (Model Driven Architecture). The existing model verification approaches have focused on using graph comparison between input model and target model or applying graph pattern by simple version tree types. The graph model transformation mechanism proposed on this paper generates prediction model by defining test Oracle as model transformation rules that may conduct verification test of the generated transformation model, in order to support verification on verification of the converted model through MDA based model transformation mechanism. By comparing this prediction model with the target model, it is possible to execute verification test using graph comparison algorithms on the converted model. we supported verification mechanism of transformation model with model property information,dynamic analysis in this paper. Therefore, by increasing reliability of model transformation and further applying test issues on the software development process to the software mode at software design phase. A case study in AGG tool is presented to illustrate the feasibility of the model transformation verification with model property information.