Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela (2015)
- Authors:
- Autor USP: BATISTA, RAPHAEL NEGRISOLI - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: PROGRAMAÇÃO CONCORRENTE; PROGRAMAÇÃO PARALELA; SISTEMAS DISTRIBUÍDOS; CIÊNCIA DA COMPUTAÇÃO (ESTUDO E ENSINO)
- Keywords: Concurrent programs; Deterministic execution; Execução determinística; Execução paralela; Geração de variantes de disputa; Parallel execution; Programas concorrentes; Race variant generation; Structural testing; Teste estrutural
- Language: Português
- Abstract: O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automática de diferentes pares de sincronização ou, em outras palavras, a geração de variantes de disputa (race variant). Nesta técnica as variantes de disputa são geradas a partir de arquivos de rastro de uma execução não-determinística e algoritmos de execução determinística são utilizados para forçar que diferentes sincronizações sejam cobertas. Este trabalho aborda de maneira abrangente este problema, cujo objetivo principal é reduzir o tempo de resposta da atividade de teste estrutural de programas concorrentes quando diferentes variantes de disputa são executadas. Há três principais contribuições neste trabalho: (1) geração de arquivos de rastro e execução determinística total/parcial, (2) geração automática de variantes e (3) paralelização da execução das variantes. Diferentemente de outros trabalhos disponíveis na literatura, os algoritmos propostos consideram programas concorrentes que interagem simultaneamente com passagem de mensagens e memória compartilhada. Foram consideradas seis primitivas com semânticas distintas: ponto-a-ponto bloqueante/não bloqueante, coletivas um-para-todos/todos-para-um/todos-para-todos e semáforos. Os algoritmos foram desenvolvidos no nível de aplicaçãoem Java, são ortogonais à linguagem de programação utilizada e não requerem privilégios de sistema para serem executados. Estas três contribuições são descritas, detalhando seus algoritmos. Também são apresentados os resultados obtidos com os experimentos feitos durante as fases de validação e avaliação de cada contribuição. Os resultados demonstram que os objetivos propostos foram atingidos com sucesso para cada contribuição e, do ponto de vista do testador, o tempo de resposta da atividade de teste estrutural de programas concorrentes foi reduzido enquanto a cobertura de programas concorrentes com ambos os paradigmas aumentou com procedimentos automatizados e transparentes. Os experimentos mostram speedups próximos ao linear, quando comparadas as versões sequencial e paralela dos algoritmos.
- Imprenta:
- Publisher place: São Carlos
- Date published: 2015
- Data da defesa: 27.03.2015
-
ABNT
BATISTA, Raphael Negrisoli. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/. Acesso em: 21 maio 2024. -
APA
Batista, R. N. (2015). Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/ -
NLM
Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela [Internet]. 2015 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/ -
Vancouver
Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela [Internet]. 2015 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
