| Full text | |
| Author(s): |
Luz, Helder J. F.
;
Souza, Paulo S. L.
;
Souza, Simone R. S.
Total Authors: 3
|
| Document type: | Journal article |
| Source: | CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE; v. 36, n. 14, p. 26-pg., 2024-04-09. |
| Abstract | |
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) | |
| FAPESP's process: | 19/26702-8 - Trends on high performance computing, from resource management to new computer architectures |
| Grantee: | Alfredo Goldman vel Lejbman |
| Support Opportunities: | Research Projects - Thematic Grants |
| FAPESP's process: | 19/23474-4 - Research collaborations between QUB and USP: exploring areas for joint research collaborations on software testing |
| Grantee: | Ellen Francine Barbosa |
| Support Opportunities: | Regular Research Grants |
| FAPESP's process: | 20/09560-2 - Development of a methodology for the definition of software appraisal proficiency tests |
| Grantee: | Simone Do Rocio Senger de Souza |
| Support Opportunities: | Regular Research Grants |
| FAPESP's process: | 08/00553-1 - Optimizing the Request Distribution for Clusters of Web Services: a flexible, dynamic and transparent approach |
| Grantee: | Paulo Sérgio Lopes de Souza |
| Support Opportunities: | Regular Research Grants |