Static and Dynamic Reverse Engineering Techniques for Java Software Systems

Abstract

The main contributions of this dissertation are as follows:

methods for using the dependencies between static and dynamic models for goal driven reverse engineering tasks, including merging dynamic information to a static Rigiview; using static information to guide the generation of dynamici nformation; slicing a Rigi view using SCED scenarios; and raising the level of abstraction of SCED scenarios using a high-level Rigigraph;

algorithms for optimizing synthesized state diagrams using UMLnotation;

application of the synthesis algorithm presented by Koskimies and Mäkinen [54] to SCED;

string matching algorithms for raising the level of abstraction of SCED scenario iagrams;

the prototype reverse ngineering environment Shimba, which integrates two existing tools: Rigi for reverse engineering the static structure of Javasoftware; and SCED and its state diagram synthesis facility for reverse engineering the dynamic behavior of Java software;

methods and tools for gathering information, including extraction of static information from Java byte code;and extraction of run-time information by running the target system under a customized jdk debugger;

a case study to evaluate the facilities of Shimba.

The main contributions of this dissertation are as follows:

methods for using the dependencies between static and dynamic models for goal driven reverse engineering tasks, including merging dynamic information to a static Rigiview; using static information to guide the generation of dynamici nformation; slicing a Rigi view using SCED scenarios; and raising the level of abstraction of SCED scenarios using a high-level Rigigraph;

algorithms for optimizing synthesized state diagrams using UMLnotation;

application of the synthesis algorithm presented by Koskimies and Mäkinen [54] to SCED;

string matching algorithms for raising the level of abstraction of SCED scenario iagrams;

the prototype reverse ngineering environment Shimba, which integrates two existing tools: Rigi for reverse engineering the static structure of Javasoftware; and SCED and its state diagram synthesis facility for reverse engineering the dynamic behavior of Java software;

methods and tools for gathering information, including extraction of static information from Java byte code;and extraction of run-time information by running the target system under a customized jdk debugger;

a case study to evaluate the facilities of Shimba.