Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes (2011)
- Authors:
- Autor USP: MACHADO, MARIO CESAR DA CUNHA - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; PROGRAMAÇÃO CONCORRENTE (TESTES); SISTEMAS DISTRIBUÍDOS
- Language: Português
- Abstract: Programas concorrentes possuem características que os diferenciam de programas sequenciais, tornando a atividade de teste mais complexa. Questões como definição e uso de variáveis por diferentes processos, comunicação, sincronização e comportamento não-determinístico precisam ser consideradas. Apesar dos avanços obtidos nesse contexto, um problema que ainda persiste é o custo da atividade de teste, relacionado principalmente ao número excessivo de elementos requeridos a serem testados. Neste contexto, este trabalho apresenta duas propostas: a primeira estática, focando na detecção automática de elementos requeridos não-executáveis, para os critérios relacionados a sincronizações; e a segunda dinâmica, aplicando-se o teste de alcançabilidade para apoiar a avaliação da cobertura de sequências de sincronizações, desse modo, usando informações dinâmicas para apoiar o teste de cobertura. Estas propostas foram implementadas na ferramenta ValiMPI e um experimento foi realizado a fim de verificar a eficácia da proposta. Os resultados indicam que as duas propostas implementadas neste trabalho são promissoras e auxiliam a reduzir o custo da atividade de teste
- Imprenta:
- Publisher place: São Carlos
- Date published: 2011
- Data da defesa: 13.04.2011
-
ABNT
MACHADO, Mario Cesar da Cunha. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/. Acesso em: 16 abr. 2024. -
APA
Machado, M. C. da C. (2011). Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/ -
NLM
Machado MC da C. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes [Internet]. 2011 ;[citado 2024 abr. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/ -
Vancouver
Machado MC da C. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes [Internet]. 2011 ;[citado 2024 abr. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
