Advanced search
Start date
Betweenand
Related content
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Structural testing for communication events into loops of message-passing parallel programs

Full text
Author(s):
Diaz, Silvia M. D. [1] ; Souza, Paulo S. L. [1] ; Souza, Simone R. S. [1]
Total Authors: 3
Affiliation:
[1] Univ Sao Paulo, Inst Math & Comp Sci, Sao Carlos, SP - Brazil
Total Affiliations: 1
Document type: Journal article
Source: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE; v. 33, n. 18, SI SEP 25 2021.
Web of Science Citations: 2
Abstract

There is a growing demand for correct parallel programs, mainly due to nowadays availability of parallel architectures. Structural testing allows identifying defects by analyzing the internal structures of a program. However, communication and synchronization in parallel programs bring new challenges to the testing activity, such as nondeterminism. Message-passing parallel programs require structural testing criteria to support test models and tools capable of covering synchronization events with dynamic behaviors. Testing such primitives inside loops in message-passing programs is still challenging with nontrivial solutions for criteria, models, and tools. This article proposes new structural testing criteria to guide the selection of test cases, improving the quality of message-passing programs by revealing nondeterminism-related defects present in loops. We present a new test model to support our criteria for structural testing of MPI-applications and implement the proposed criteria in the tool ValiMPI. The analysis of nondeterminism-related defects, paths inside loops, loop iterations, and nested loops allow us to establish a structured testing model. We validate the testing criteria through experimental studies using ValiMPI. Our results show that our criteria reveal unknown defects from communication and synchronization events in different loop iterations, increasing the quality of message-passing parallel programs. (AU)

FAPESP's process: 13/07375-0 - CeMEAI - Center for Mathematical Sciences Applied to Industry
Grantee:Francisco Louzada Neto
Support Opportunities: Research Grants - Research, Innovation and Dissemination Centers - RIDC
FAPESP's process: 19/06937-0 - Study and development of software testing techniques and their applications
Grantee:Márcio Eduardo Delamaro
Support Opportunities: Regular Research Grants