Banca de DEFESA: TAYNÁ LARISSA FISCHER VIEIRA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : TAYNÁ LARISSA FISCHER VIEIRA
DATA : 26/03/2025
HORA: 09:00
LOCAL: Remoto - https://join.skype.com/Le8nfd1coOPQ
TÍTULO:

Um Arcabouço de Memoização e Transformação Variacional usando Interpretadores

PALAVRAS-CHAVES:

Memoização;  Transformação Variacional;  Análise Taint; Experimento

PÁGINAS: 76
RESUMO:

Linhas de Produtos de Software (SPLs) possibilitam o desenvolvimento sistemático de sistemas configuráveis ao organizar produtos como famílias que compartilham funcionalidades comuns e diferem em recursos selecionados. No entanto, a análise estática em SPLs enfrenta desafios de escalabilidade devido à variabilidade no espaço (entre configurações) e no tempo (entre revisões de software). Esta dissertação propõe um framework baseado em interpretadores que combina lifting variacional e memoização para suportar análises estáticas escaláveis e reutilizáveis em SPLs em evolução. As análises são implementadas como programas PCF+ e executadas sobre representações variacionais dos programas, anotadas com condições de presença. A memoização permite reutilizar resultados computados anteriormente entre diferentes versões do programa, reduzindo cálculos redundantes e contribuindo para a melhoria do desempenho. O framework foi avaliado com programas que simulam cenários realistas de evolução de software. Os resultados demonstram que o uso combinado de lifting variacional e memoização reduz efetivamente o tempo de execução, evidenciando as vantagens de abordar ambas as dimensões da variabilidade. Este trabalho contribui com uma infraestrutura reutilizável para análises baseadas em fluxo de controle em SPLs, além de fornecer evidências empíricas da sua eficiência.

MEMBROS DA BANCA:
Presidente - 1702036 - VANDER RAMOS ALVES
Interno - 2679452 - PEDRO GARCIA FREITAS
Interno - 1848788 - RODRIGO BONIFACIO DE ALMEIDA
Externo à Instituição - PAULO HENRIQUE MONTEIRO BORBA - UFPE