Structural testing for CUDA programming model

Autor(es)

Luz, Helder J. F. ; Souza, Paulo S. L. ; Souza, Simone R. S.

• Tipo de documento: Artigo Científico
• Fonte: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE; v. 36, n. 14, p. 26-pg., 2024-04-09.

Resumo

Graphic processors offer an accessible solution for high-performance computing, addressing challenges across various fields. The Compute Unified Device Architecture (CUDA) programming model has emerged to enhance the performance of general-purpose applications on graphic processors. However, developing CUDA programs is far from straightforward, and developers' lack of experience in parallel programming has led to numerous issues. This article presents a structural testing model and criteria to improve the quality of CUDA programs. These criteria facilitate the selection of test cases and aid in identifying faults. The ValiCUDA tool was developed to implement and validate this testing model and criteria. This tool instruments and analyzes programs, generating the necessary elements for each testing criterion. It also facilitates program execution and evaluation of criterion coverage. A statistical validation experiment assessed these criteria' effectiveness, cost, and strength metrics. The results demonstrate that the criteria can identify nontrivial faults in CUDA programs and assist testers in their testing endeavors for such applications. (AU)

• Processo FAPESP: 19/26702-8 - Tendências em computação de alto desempenho, do gerenciamento de recursos a novas arquiteturas de computadores
• Beneficiário: Alfredo Goldman vel Lejbman
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Processo FAPESP: 19/23474-4 - Colaborações de pesquisa entre QUB e USP: explorando áreas para colaborações conjuntas de pesquisa em teste de software
• Beneficiário: Ellen Francine Barbosa
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Processo FAPESP: 20/09560-2 - Desenvolvimento de uma metodologia para definição de ensaios de proficiência em avaliação de software
• Beneficiário: Simone Do Rocio Senger de Souza
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Processo FAPESP: 08/00553-1 - Otimizando a Distribuição de Requisições em Clusters de Web Services: uma abordagem flexível, dinâmica e transparente
• Beneficiário: Paulo Sérgio Lopes de Souza
• Modalidade de apoio: Auxílio à Pesquisa - Regular