Publication

Abstract : In this paper, we discuss a technique for run-time control flow model extraction of Java application with the help of domain-specific language for instrumentation (DiSL) and Java interactive visualization environment (JIVE) frameworks. DiSL framework is used for bytecode-level instrumentation of Java programs. It provides higher code coverage than other aspect-oriented languages. The application to be analysed is instrumented with DiSL to extract its execution trace. The extracted trace is then fed into the JIVE system to extract its state model based on the key attributes of the execution trace. JIVE framework provides options to generate the sequence, object and state model of the application from its execution trace. The extracted model from the execution trace based on the method calls in the application represents the run-time control flow model. The system was tested with three case studies (two small and one large application). The run-time execution trace and the model were successfully extracted in all the cases with very minimal overhead. The extracted run-time model aids in the comprehension of the run-time behaviour of complex applications and also for verification of properties of interest-based on the execution flow of the application.