Banca de QUALIFICAÇÃO: ALANA PAULA BARBOSA MOTA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : ALANA PAULA BARBOSA MOTA
DATA : 30/06/2026
HORA: 15:00
LOCAL: Remoto - plataforma TEAMs
TÍTULO:

Alinhamento entre Intenções de Design e Práticas de Rejuvenescimento de Software: Um Estudo sobre Type Hints e Structural Pattern Matching em Python

PALAVRAS-CHAVES:

Evolução de Software, Rejuvenescimento de Software, Python, Type Hints, Structural Pattern Matching, Python Enhancement Proposals, Mineração de Repositórios de Software, Análise Temática.

PÁGINAS: 65
RESUMO:

Contexto. À medida que sistemas de software evoluem ao longo do tempo, torna-se necessário incorporar mecanismos capazes de reduzir a obsolescência técnica e melhorar a manutenibilidade do código. Nesse contexto, o rejuvenescimento de software consiste na modernização de sistemas por meio da adoção de novas tecnologias, frameworks e funcionalidades de linguagem. No ecossistema Python, funcionalidades como Type Hints e Structural Pattern Matching foram introduzidas visando aumentar a legibilidade, expressividade e manutenibilidade do código-fonte.

Objetivo. O objetivo deste trabalho é investigar as motivações dos desenvolvedores para adoção de funcionalidades de rejuvenescimento em Python, mais especificamente Type Hints e Structural Pattern Matching, analisando os benefícios, limitações, práticas e características associadas ao uso dessas funcionalidades.

Método de Pesquisa. A pesquisa foi dividida em três estudos complementares. O primeiro consistiu em uma análise temática qualitativa das Propostas de Melhoria do Python (PEPS) relacionadas às funcionalidades investigadas, com o objetivo de compreender os racionais formais, as motivações de projeto e as decisões de design associadas à sua introdução na linguagem. O segundo estudo envolveu a mineração e análise de commits utilizando uma versão estendida da ferramenta RefactoringMiner, capaz de identificar 13 tipos de transformações de código-fonte relacionadas a Type Hints e Structural Pattern Matching. A mineração foi conduzida em 141 projetos populares de código aberto, dos quais 127 apresentaram evidências de rejuvenescimento e compuseram o conjunto analítico final. O terceiro estudo busca compreender as motivações dos desenvolvedores por meio de uma análise temática das respostas obtidas em um survey direcionado aos responsáveis pelos grandes commits identificados, complementada pela construção de um conjunto de referência (gold standard) e análise manual das motivações observadas nos commits.

Resultados. A análise das PEPs mostrou que Type Hints e Structural Pattern Matching foram concebidos para melhorar a legibilidade, expressividade e manutenibilidade do código, embora com objetivos distintos: enquanto Type Hints enfatizam documentação, análise estática e suporte ao sistema de tipos, Structural Pattern Matching busca ampliar a expressividade da linguagem e simplificar estruturas de controle. A análise dos commits revelou evidências de rejuvenescimento ativo no ecossistema Python, com predominância de transformações relacionadas à adoção de Type Hints . Os resultados preliminares da análise temática do survey com desenvolvedores indicam que a principal motivação para adoção dessas funcionalidades está associada à evolução do ecossistema Python, particularmente ao encerramento do suporte ao Python 3.9 e à necessidade de migração para versões mais recentes da linguagem, seguida por objetivos relacionados à qualidade e manutenção do código. A triangulação entre commits, pull requests e respostas dos desenvolvedores indicou elevado grau de consistência entre as diferentes fontes de evidência, sugerindo que as motivações inferidas a partir dos artefatos de desenvolvimento refletem, em grande parte, as justificativas declaradas pelos próprios autores das mudanças. Em conjunto, os resultados sugerem uma diferença entre os objetivos originalmente enfatizados nas PEPs e os fatores que efetivamente motivam a adoção dessas funcionalidades em projetos reais.

Conclusão. Os resultados indicam que o rejuvenescimento de software em Python constitui uma prática ativa na comunidade, especialmente em relação à adoção de Type Hints , embora as diferentes funcionalidades apresentem níveis distintos de maturidade e aceitação. Os achados sugerem que decisões de adoção são fortemente influenciadas por necessidades práticas de evolução tecnológica, compatibilidade de versões e manutenção do ecossistema. Em conjunto, as evidências obtidas demonstram que fatores técnicos e contextuais exercem papel relevante na incorporação de novas funcionalidades de linguagem em projetos reais. Esta pesquisa contribui para a compreensão do processo de rejuvenescimento de software no ecossistema Python ao relacionar os objetivos de projeto dessas funcionalidades com os fatores que influenciam sua adoção na prática.

MEMBROS DA BANCA:
Presidente - 1848788 - RODRIGO BONIFÁCIO DE ALMEIDA
Interna - 1720223 - GENAINA NUNES RODRIGUES
Externo à Instituição - FERNANDO KENJI KAMEI
Externo à Instituição - DELANO HÉLIO OLIVEIRA