| Processo: | 18/25744-6 |
| Linha de fomento: | Bolsas no Brasil - Doutorado |
| Vigência (Início): | 01 de agosto de 2019 |
| Vigência (Término): | 28 de fevereiro de 2022 |
| Área do conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação |
| Pesquisador responsável: | Simone Do Rocio Senger de Souza |
| Beneficiário: | João Choma Neto |
| Instituição-sede: | Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil |
| Assunto(s): | Teste e avaliação de software Algoritmos genéticos Programação concorrente |
Resumo A atividade de teste de software é imprescindível para melhorar a qualidade de um produto de software. No entanto, encontrar um conjunto de dados de teste que satisfaz um dado critério de teste não é uma tarefa trivial, pois o domínio pode ser grande e diferentes conjuntos de teste podem ser soluções satisfatórias. O teste de programas concorrentes além de apresentar os problemas de programa sequenciais ainda, por exemplo, pode tratar o problema do não determinismo e da não executabilidade de sequências de sincronização. A \textit{Search Based Software Engineering} (SBSE) procura resolver problemas difíceis como esse, utilizando algoritmos de busca. Inúmeras pesquisas relatam os benefícios alcançados pela utilização de algoritmos genéticos para resolver problemas relacionados a teste de software e outros problemas de Engenharia de Software (ES). Após resultados prévios de um levantamento do estado da arte, não foram encontrados trabalhos relacionados a utilização de algoritmos genéticos para resolver o problema de sequências de sincronização não executáveis em programas concorrentes. Este projeto propõe a utilização do algoritmo genético para apoiar o problema da não executabilidade em programas concorrentes. (AU) | |