Modelo e critérios de teste estrutural para programas CUDA (2023)
- Authors:
- Autor USP: LUZ, HELDER JEFFERSON FERREIRA DA - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- DOI: 10.11606/T.55.2023.tde-20042023-104007
- Subjects: PROGRAMAÇÃO PARALELA; ENGENHARIA DE SOFTWARE
- Keywords: CUDA and GPU; CUDA e GPU; Ferramenta de teste estrutural; Parallel programming; Programação paralela; Structural software testing; Structural testing criteria; Structural testing tool; Teste de software estrutural, Critérios de teste estrutural
- Language: Português
- Abstract: As GPUs têm sido amplamente utilizadas na computação de propósito geral para resolver problemas em diversas áreas. Para utilizar esses processadores, é necessário adotar modelos de programação paralela, como o CUDA, que visam simplificar o desenvolvimento de aplicações de propósito geral para serem executadas em GPUs. A despeito das facilidades trazidas por esse modelo, desenvolver aplicações com CUDA não é trivial. Além disso, os desenvolvedores possuem pouca experiência na programação de aplicações paralelas, ocasionando diversos tipos de defeitos. Apesar da necessidade de mitigar defeitos em aplicações CUDA, há poucos critérios de teste estrutural para revelar defeitos desse modelo de programação. Buscando melhorar a qualidade de programas concorrentes CUDA, foi definido um modelo e critérios de teste estrutural para apoiar a atividade de teste, auxiliando na seleção de casos de teste e propiciando a revelação de defeitos. Para validar o modelo e critérios de teste propostos, foi desenvolvido a ferramenta ValiCUDA, que realiza a instrumentação e análise do programa, gerando os elementos requeridos para cada critério de teste. A ferramenta permite executar os programas e avaliar a cobertura alcançada para cada critério. Para avaliar a aplicação dos critérios de teste, foi realizado um experimento com validação estatística, buscando averiguar as métricas de custo, eficácia e strength. No experimento foram inseridos defeitos com base em uma taxonomia de defeitos para avaliara eficácia dos critérios. Os resultados demonstraram que os critérios de teste propostos são capazes de revelar defeitos em aplicações CUDA e podem auxiliar o testador na atividade de teste deste tipo de aplicação
- Imprenta:
- Publisher place: São Carlos
- Date published: 2023
- Data da defesa: 01.03.2023
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
ABNT
LUZ, Helder Jefferson Ferreira da. Modelo e critérios de teste estrutural para programas CUDA. 2023. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-20042023-104007/. Acesso em: 31 dez. 2025. -
APA
Luz, H. J. F. da. (2023). Modelo e critérios de teste estrutural para programas CUDA (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-20042023-104007/ -
NLM
Luz HJF da. Modelo e critérios de teste estrutural para programas CUDA [Internet]. 2023 ;[citado 2025 dez. 31 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-20042023-104007/ -
Vancouver
Luz HJF da. Modelo e critérios de teste estrutural para programas CUDA [Internet]. 2023 ;[citado 2025 dez. 31 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-20042023-104007/
Informações sobre o DOI: 10.11606/T.55.2023.tde-20042023-104007 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
