Busca avançada
Ano de início
Entree

Estudo e avaliação de alternativas de parametrização do teste de mutação visando o seu uso em ambientes de produção de sistemas de software

Processo: 23/00001-9
Modalidade de apoio:Bolsas no Exterior - Pesquisa
Data de Início da vigência: 15 de agosto de 2023
Data de Término da vigência: 14 de agosto de 2024
Área de conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Pesquisador responsável:Auri Marcelo Rizzo Vincenzi
Beneficiário:Auri Marcelo Rizzo Vincenzi
Pesquisador Anfitrião: Ana Cristina Ramada Paiva
Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
Instituição Anfitriã: Universidade do Porto (UP), Portugal  
Assunto(s):Análise dinâmica   Automação de teste   Engenharia de software   Engenharia de software experimental   Teste de mutação   Teste e avaliação de software
Palavra(s)-Chave do Pesquisador:análise dinâmica | Análise estática | Automatização de Teste | Engenharia de Software | Engenharia de Software Experimental | Teste de Mutação | Teste de Software

Resumo

Considerando a relevância da automatização da atividades de teste para a indústria de produção de software e a relevância do teste baseado em mutação a partir de evidências científicas, no projeto de pesquisa regular FAPESP (Processo nº 2019/23160-0), intitulado "Teste de Software Baseado em Mutação com Alta Eficácia e Baixa Dívida Técnica: Processo Automatizado e Protótipo de Ambiente de Apoio Livres" busca-se o desenvolvimento de um protótipo de ambiente de apoio ao teste de mutação que seja 100% automatizado, ou seja, não demande interação humana ou reduza ao máximo a necessidade de intervenção humada. Objetivo: O presente projeto de bolsa BPE objetiva apoiar a realização de uma série de estudos experimentais, considerando produtos de software reais (proprietários ou de código aberto), que permitam demonstrar a viabilidade de condução do teste de mutação nesse contexto, quais os resultados obtidos e como o protótipo pode ser utilizado no apoio a garantia de qualidade em ambientes de produção de sistemas de software. Observa-se que tais estudos experimentais estão alinhados com um subconjunto das atividades do projeto de pesquisa regular FAPESP (Processo nº 2019/23160-0). Métodos: Estudos experimentais permitem a coleta de métricas sobre o produto em teste e dados da execução do teste de mutação considerando diferentes alternativas de redução do custo de aplicação, visando a demonstrar quais as melhores alternativas de uso desse critério de teste em produtos de software reais, considerando restrições de tempo e custo impostas nos projetos. Resultados esperados: Com isso, espera-se, de maneira geral, a definição de diretrizes básicas para o uso do teste de mutação em ambientes reais de desenvolvimento de software de forma automatizada, considerando as restrições de tempo e custo impostas no projeto. Observa-se que tais diretrizes devem variar com base em métricas coletadas para os produtos de software a serem testados. Conclusões: A aplicação do teste de mutação de forma 100% automatizada demanda alternativas de parametrização do teste de mutação a fim de priorizar o que testar do produto em teste e quais estratégias de utilização do teste de mutação devem ser utilizados para obter a melhor relação custo/benefício. Devido à comprovada eficácia do teste de mutação na detecção de defeitos, o uso da técnica em ambientes reais de desenvolvimento de software já é uma realidade, mas ainda pouco explorada em larga escala e, com esses estudos e o protótipo, espera-se fornecer subsídios para que mais empresas possam utilizar testes de mutação em seus processos de garantia de qualidade. Além disso, também como decorrência do período de estudo no exterior, vinculado a esse projeto de bolsa BPE, espera-se o estreitamento das pesquisas entre os grupos da Profa. Dra. Ana Paiva e do proponente. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas (5)
(As publicações científicas contidas nesta página são originárias da Web of Science ou da SciELO, cujos autores mencionaram números dos processos FAPESP concedidos a Pesquisadores Responsáveis e Beneficiários, sejam ou não autores das publicações. Sua coleta é automática e realizada diretamente naquelas bases bibliométricas)
KUROISHI, PEDRO HENRIQUE; MALDONADO, JOSE CARLOS; VINCENZI, AURI MARCELO RIZZO. . INFORMATION AND SOFTWARE TECHNOLOGY, v. 167, p. 22-pg., . (23/00001-9, 19/23160-0)
GUERINO, LUCCA RENATO; KUROISHI, PEDRO HENRIQUE; RAMADA PAIVA, ANA CRISTINA; RIZZO VINCENZI, AURI MARCELO. . 23TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, SBQS 2024, v. N/A, p. 11-pg., . (23/00001-9, 19/23160-0)
KUROISHI, PEDRO HENRIQUE; PAIVA, ANA CRISTINA RAMADA; MALDONADO, JOSE CARLOS; VINCENZI, AURI MARCELO RIZZO. . INFORMATION AND SOFTWARE TECHNOLOGY, v. 177, p. 19-pg., . (23/00001-9, 19/23160-0)
VINCENZI, AURI M. R.; KUROISHI, PEDRO H.; BISPO, JOAO; DA VEIGA, ANA R. C.; DA MATA, DAVID R. C.; AZEVEDO, FRANCISCO B.; PAIVA, ANA C. R.. . JOURNAL OF SYSTEMS AND SOFTWARE, v. 222, p. 17-pg., . (19/23160-0, 23/00001-9)
RINCON, ANDRE MESQUITA; RIZZO VINCENZI, AURI MARCELO; FARIA, JOAO PASCOAL. . 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, v. N/A, p. 8-pg., . (19/23160-0, 23/00001-9)