Advanced search
Start date
Betweenand

Integration of mechanisms for mutation testing and error injection

Grant number: 23/01720-9
Support Opportunities:Scholarships in Brazil - Technical Training Program - Technical Training
Start date: April 01, 2023
End date: November 30, 2023
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Agreement: CONFAP - National Council of State Research Support Foundations
Principal Investigator:Fabiano Cutigi Ferrari
Grantee:Kathiani Elisa de Souza
Host Institution: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brazil
Associated research grant:19/25307-8 - Validation of smart city applications: a fault-based approach, AP.R

Abstract

O projeto de pesquisa no qual este projeto para bolsa de Treinamento Técnico se insere tem como objetivo geral a definição de uma abordagem baseada em defeitos para o desenvolvimento e a validação de aplicações para Cidades Inteligentes, com foco nos domínios de mobilidade urbana e gestão de tráfego. Estão previstos no projeto de pesquisa o desenvolvimento de uma ferramenta de injeção de erros (subprojeto SP3-TT4), e o desenvolvimento de uma ferramenta de teste de mutação (subprojetos SP4-M/D e SP5-M). Este trabalho de Treinamento Técnico envolve a integração das ferramentas de teste de mutação e de injeção de erros como forma de validar os mecanismos de recuperação de erros implementados nas aplicações para Cidades Inteligentes (referente ao subprojeto SP2-D). A integração das ferramentas é necessária para que ambas possam ser executadas de foram combinadas; uma vez gerados, os mutantes podem ser executados com casos de teste gerados em tempo de execução (erros injetados). Ou seja, o comportamento dos mutantes pode ser avaliado na presença dos erros injetados, e o resultados desses testes servirá como parâmetro para indicar o nível de robustez das aplicações testadas. Um desafio central relacionado à integração das ferramentas se refere a como reproduzir um estado de erro do sistema (por meio de injeção de erros) repetidas vezes, para que diversos mutantes sejam avaliados. Nesse sentido, adequações de ambas as ferramentas podem ser necessárias, e serão realizadas no escopo deste trabalho de Treinamento Técnico. (AU)

News published in Agência FAPESP Newsletter about the scholarship:
More itemsLess items
Articles published in other media outlets ( ):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Scientific publications
(The scientific publications listed on this page originate from the Web of Science or SciELO databases. Their authors have cited FAPESP grant or fellowship project numbers awarded to Principal Investigators or Fellowship Recipients, whether or not they are among the authors. This information is collected automatically and retrieved directly from those bibliometric databases.)
DE SOUZA, KATHIANI ELISA; FERRARI, FABIANO CUTIGI; DE CAMARGO, VALTER VIEIRA; RIBEIRO, MARCIO; OFFUTT, JEFF. A systematic review of fault tolerance techniques for smart city applications☆. JOURNAL OF SYSTEMS AND SOFTWARE, v. 219, p. 22-pg., . (23/01720-9, 19/25307-8)