Um Estudo sobre Event Races em Aplicações JavaScript Baseadas em Promises

• Processo: 25/00910-4
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de abril de 2025
• Data de Término da vigência: 31 de dezembro de 2025
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: André Takeshi Endo
• Beneficiário: Pedro Vinícius Guandalini Vicente
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Async-Await syntax | event races | javascript | promises | Testes automatizados | Engenharia de Software: Testes e Debugging

Resumo

JavaScript é uma linguagem de programação multiparadigma utilizada por milhões de desenvolvedores para a construção de sistemas computacionais. Em conjunto com o ambiente de runtime Node.js, o JavaScript é aplicado na infraestrutura de diversas aplicações de grandes empresas de diferentes setores, em razão do seu vasto ecossistema de pacotes e suporte à escalabilidade. Todavia, aplicações JavaScript podem estar sujeitos a uma condição de corrida especial, observada em arquiteturas orientadas por eventos, chamada event race. Essa condição costuma ser responsável por gerar resultados diferentes do esperado, o que pode causar defeitos no software. Entretanto, o conhecimento da literatura sobre event races está concentrada em um estilo baseado em callbacks. Neste contexto, não se sabe a profundidade deste problema de contexto de aplicações JavaScript modernas que fazem alto uso de Promises para lidar com comportamento ass¿¿ncrono. Assim, o objetivo deste projeto de pesquisa é investigar event races em aplicações JavaScript baseadas em Promises. Inicialmente, será conduzido um estudo que irá minerar bugs relacionados a event races de aplicações open source no GitHub. Neste ponto, serão selecionadas aplicações que fazem uso de recursos modernos para lidar com comportamento ass¿¿ncrono, tais como Promises e a sintaxe Async-Await. Os event races minerados serão caracterizados e mecanismos serão propostos para estender ferramentas existentes para a detecção de event races relacionados ao uso de Promises.