
BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.17.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260917T143000
DTEND;TZID=America/Sao_Paulo:20260917T153000
DTSTAMP:20260916T124835Z
CREATED:20260910T144838Z
LAST-MODIFIED:20260916T124835Z
UID:10934-1789655400-1789659000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Papagna Maldonado
DESCRIPTION:Título: Cobertura de código en lenguajes dinámicamente tipados usando meta-programación\nDirector: Hernán Wilkinson\nJurados: Juan Pablo Galeotti\, Pablo Rubinstein \nResumen:\nCuis Smalltalk no contaba con herramientas de cobertura de código antes de este trabajo\, y en el ecosistema más amplio de Smalltalk las herramientas disponibles se limitaban a Method Coverage (Squeak\, VAST) y Statement Coverage (Pharo). Este trabajo desarrolla la primera herramienta de cobertura de código para Cuis Smalltalk\, de uso público desde 2021. La herramienta soporta cuatro criterios. Method Coverage\, necesario para distinguir métodos vacíos ejecutados; Statement Coverage; Branch Coverage (no implementado previamente en ningún dialecto de Smalltalk evaluado); y Observed Boolean Coverage (OBC)\, una variante computable de Boolean Coverage\, caracterizada en este trabajo específicamente para lenguajes dinámicamente tipados donde la identificación estática de expresiones booleanas es indecidible.\nLa implementación se basa fuertemente en el uso de metaprogramación: los métodos a analizar se instrumentan mediante reescritura de su abstract syntax tree (AST)\, sin requerir modificaciones a la máquina virtual ni al bytecode. Como contribución adicional\, el trabajo desarrolla PackageSnapshot\, un módulo independiente para clonar paquetes de Cuis preservando jerarquías de clases y referencias internas\, que habilita el análisis reflexivo de la cobertura del propio código de la herramienta.\nLa evaluación de performance sobre paquetes representativos del ecosistema Cuis muestra que el overhead absoluto se mantiene en el orden de los segundos para suites de duración razonable\, compatible con el uso interactivo durante el desarrollo. \nPalabras clave: cobertura de código\, Smalltalk\, Cuis Smalltalk\, metaprogramación\, lenguajes dinámicamente tipados\, criterios de cobertura\, Boolean Coverage\, instrumentación a nivel de AST\, testing de software
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-papagna-maldonado/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR