Slicing dinámico para lenguajes de la familia .NET

• Autores: De Rocco, Federico
• Año de publicación: 2020
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Soifer, Alexis Damián
• Materia: PROGRAM ANALYSIS; PROGRAM SLICING; DYNAMIC SLICING; TRACING
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Slicing dinámico es una técnica que se utiliza principalmente para facilitar la tarea de debugging[2], reduciendo el esfuerzo del programador encontrando aquellas líneas relevantes para un comportamiento dado[5]. Para construir un slice el enfoque clásico se basa en la búsqueda de dependencias entre las instrucciones del programa. Si bien en sus comienzos la técnica fue prometedora, hoy en día todavía persisten problemas de escalabilidad[30]. El grupo LaFHIS desarrolló en los últimos años DynAbs, un slicer de emisi´on/an´alisis de traza destinado a analizar c´odigo de alto nivel que intenta atacar parcialmente estos problemas de escalabilidad para aplicaciones C#. A pesar de los avances, la herramienta no ataca una de las deficiencias que tienen las herramientas de este tipo, que es la limitación de tratar un único lenguaje. En este trabajo se presenta una extensión para la herramienta para operar sobre el lenguaje Visual Basic, el cual actualmente no posee ninguna herramienta de slicing compatible exceptuando herramientas multilenguaje como ORBS [27, 28]. Como cualquier herramienta de este tipo, esta consiste en una parte destinada a instrumentar el código cliente y otra parte consumir la traza generada en su ejecución. Por lo tanto este trabajo consistió en implementar por un lado la funcionalidad necesaria para instrumentar código Visual Basic, y por otro, abstraer el módulo de análisis para que trate ambos lenguajes. A lo largo de este trabajo se detallan los conceptos relativos a slicing, los específicos a DynAbs y se explica cómo fue realizada esta extensión. Finalmente, se presentará una evaluación adecuada que determinó que han sido cubiertas suficientes expresiones del lenguaje y que efectivamente ahora se pueden tratar programas que han sido evaluados previamente en C#.
Dynamic slicing is a technique that is mainly used by the programmers on debugging[2], reducing their efforts by finding those lines that are relevant to a given behavior[5]. To build a slice, the classic approach is based on finding control and data dependencies between the statements. Although the technique was promising in its beginnings, today persists scalability problems[30]. LaFHIS has developed in recent years DynAbs, a classical slicer designed for tracing high-level code that tries to partially solve these scalability problems for C # applications. Despite the advances, the tool does not attack one of the deficiencies that tools of this type have, which is the limitation of dealing with a single language. This work presents an extension for the tool to operate on the Visual Basic language, which currently does not have any compatible slicing tool except for multilanguage ones such as ORBS [27, 28]. Like any tool of this type, this consists of instrumenting the client source code and consuming the generated trace in its execution. Therefore, this work consists of implementing the tracing module for Visual Basic, and on the other hand, abstracting the analysis module to deal with both languages. In this work are detailed concepts related to slicing, those specific to DynAbs, and how this extension was developed. Finally, an adequate evaluation will be presented. It determined that several expressions of the language have been covered and that programs that have been previously evaluated in C # can also be treated nowadays.
Fil: De Rocco, Federico. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.