A PROCESS FOR SIMULATING AND ANALYSING AN OBJECT-ORIENTED CODE AND THE CORRESPONDING SOFTWARE PRODUCT

摘要

The object of the invention is a process that analyses the functioning of an obj ect-oriented program code, where the essential thing is to solve the progress of the dynamic references. Central to the invention is that analysis of the dynami o functions is performed statically directly from the source code that is to be processed. The process according to the application is based on implementing a s imulation environment resembling the final environment, where the classes and ob jects have their own dynamic equivalences compared to the final environment. The application presents a multi-phase chain that renders dynamic analysis possible. Likewise, it presents the equivalences of the simulation environment and the final run environment. Analysis of the code*s references is based on converting the source code that is to be processed to symbolic commands and on their perf or marice command by command in symbolic format, thereby determining the behavioural model of the final run environment.