• Aucun résultat trouvé

Analysis and Advanced Visualization of Software

N/A
N/A
Protected

Academic year: 2021

Partager "Analysis and Advanced Visualization of Software"

Copied!
2
0
0

Texte intégral

(1)

HAL Id: inria-00612601

https://hal.inria.fr/inria-00612601v2

Submitted on 21 Aug 2011

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Analysis and Advanced Visualization of Software

Pierre Caserta, Olivier Zendra, Damien Bodénès

To cite this version:

Pierre Caserta, Olivier Zendra, Damien Bodénès. Analysis and Advanced Visualization of Software.

The 25th European Conference on Object-Oriented Programming (ECOOP 2011), Jul 2011, Lancaster, United Kingdom. �inria-00612601v2�

(2)

Analysis and Advanced Visualization of Software

Pierre Caserta (PhD Cand.), Olivier Zendra (Adv.), Damien Bodénès (Soft. Eng.)

LORIA – INRIA Nancy-Grand Est, NANCY - FRANCE

The Problem:

Software is complex and contains large amounts of information. This makes understanding its design, functionality and behavior a difficult and time-consuming task.

A Solution:

Use analysis techniques to extract and compute useful metrics on the software system. Then represent these metrics through suitable abstractions and metaphors to ease the understanding of the software.

Tracing Software with VITRAIL JBInsTrace:

Instrument bytecode to collect static as well as dynamic information on the software.

Visualizing Software with VITRAIL Visualizer:

Current Work:

- We perform tracing and analysis on many pieces of software to get useful static and dynamic information.

- We study how software was designed and its behavior at runtime using VITRAIL Visualizer.

- We use new interaction and display technologies to ease manipulation and understanding of the visualization.

Analyzing Software with VITRAIL Analyzer:

Understanding Software Functioning:

- Static relations between software components.

- Dynamic relations between software components.

- Evolution of these dynamic relations during runtime.

- Impact of each component on the whole system.

Static Information:

- Software architecture (inheritance, packages, relations …).

- Static receiver type on call-sites.

- Static metrics (number of bytecodes, number of if-statements …).

Dynamic Information:

- Control flow (at basic block level).

- Dynamic instance type used on call- sites.

- Dynamic metrics (number of

executed bytecodes, number of if- statements taken …).

Purpose :

- Design and Source code optimizations.

- Improve maintenance process.

- Study the habits of object-oriented developers.

Visualizing Software Evolution with VITRAIL Visualizer:

time=1

time=2

time=3

Références

Documents relatifs

PARCOACH [3], [5] was designed to take the best of static and dynamic methods. It combines a scalable static analysis based on the study of programs control flow with an

In this paper, we show how recent results from static code analysis and Software-Defined Networking, as well as the ability to use flexible information models in automated systems

LIB-SO is designed as a runtime library manager for CP/M versions of the Utility Software Package. L~B-SO may also be used to create your own library of

fREX currently provides model discovery support for behavior embedded in Java code, employs the OMG’s fUML standard language as executable pivot format for dynamic analysis, and

Static and symbolic analysis techniques have been introduced as efficient methods of reducing total testing effort requirements and overall software development

FEM, quasi‐static analysis Finite Elements Method Neglect the dynamic effects → quasi‐static analysis

In particular, semantic-based static analysis can discover at compile-time properties of the dynamic behaviors of programs by analysis of the source code; it is automated, sound

For this latter reason, static analysis methods for data preparation code involve an additional level of indirection compared to more classical static analyses that infer