[PDF][PDF] A tool for structural testing of MPI programs

AC Hausen, SR Vergilio, SRS Souza… - 8th IEEE Latin …, 2007 - researchgate.net
Among the message passing environments, MPI (Message Passing Interface) has been
considered by several authors as the de facto standard to build parallel software. In spite of …

Structural testing criteria for message‐passing parallel programs

S Souza, SR Vergilio, PSL Souza… - Concurrency and …, 2008 - Wiley Online Library
Parallel programs present some features such as concurrency, communication and
synchronization that make the test a challenging activity. Because of these characteristics …

ValiPVM-a graphical tool for structural testing of PVM programs

PL de Souza, ET Sawabe, A da Silva Simão… - Recent Advances in …, 2008 - Springer
This work presents ValiPVM, a testing tool for C/PVM parallel programs. This tool
implements structural coverage criteria, using an architecture already employed for MPI …

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

SMD Diaz, PSL Souza… - … and Computation: Practice …, 2021 - Wiley Online Library
There is a growing demand for correct parallel programs, mainly due to nowadays
availability of parallel architectures. Structural testing allows identifying defects by analyzing …

ACC_TEST: Hybrid testing techniques for MPI-based programs

ASA Alghamdi, AM Alghamdi, FE Eassa… - IEEE …, 2020 - ieeexplore.ieee.org
Recently, MPI has become widely used in many scientific applications, including different
non-computer science fields, for parallelizing their applications. An MPI programming model …

Limpio-LIghtweight MPI instrumentatiOn

M Pavlovic, M Radulovic, A Ramirez… - 2015 IEEE 23rd …, 2015 - ieeexplore.ieee.org
Characterization of high-performance computing applications often has to be done without
access to the source code. Computer architects, therefore, have a narrowed choice of …

[PDF][PDF] A structural testing tool for MPI programs with loops

SMD Diaz, PSL Souza, SRS Souza - Anais, 2019 - repositorio.usp.br
There is a growing demand for correct parallel programs, mainly due to nowadays parallel
architectures, such as clusters and multi/many-core processors. Structural testing allows the …

Using mpi-2: Advanced features of the message passing interface

W Gropp, E Lusk, R Ross, R Thakur - 2003 Proceedings IEEE …, 2003 - computer.org
xixTutorial 2 Using MPI-2: Advanced Features of the Message Passing Interface W. Gropp,
E. Lusk, R. Ross and R. Thakur (Argonne National Lab) Abstract This tutorial is about how to …

MPI performance evaluation and characterization using a compact application benchmark code

PH Worley - Proceedings. Second MPI Developer's …, 1996 - ieeexplore.ieee.org
In this paper the parallel benchmark code PSTSWM is used to evaluate the performance of
the vendor-supplied implementations of the MPI message-passing standard on the Intel …

MPISH: A parallel shell for MPI programs

N Desai, A Lusk, R Bradshaw… - 19th IEEE International …, 2005 - ieeexplore.ieee.org
While previous work has shown MPI to provide capabilities for system software, actual
adoption has not widely occurred. We discuss process management shortcomings in MPI …