arrow
Return

ACCTEST: Hybrid Testing Techniques for MPI-Based Programs

delete2020-01-01
delete7
delete
OA
AI
A
Abdullah S. Almalaise Alghamdi *
A
Ahmed Mohammed Alghamdi
F
Fathy Eassa
M
Maher Khemakhem
DOI:10.1109/ACCESS.2020.2994172delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Recently, MPI has become widely used in many scientific applications, including different non-computer science fields, for parallelizing their applications. An MPI programming model is used for supporting parallelism in several programming languages, including C, C, and Fortran. MPI also supports integration with some programming models and has several implementations from different vendors, including open-source and commercial implementations. However, testing parallel programs is a difficult task, especially when using programming models with different behaviours and types of error based on the programming model type. In addition, the increased use of these programming models by non-computer science specialists can cause several errors due to lack of experience in programming, which needs to be considered when using any testing tools. We noticed that dynamic testing techniques have been used for testing the majority of MPI programs. The dynamic testing techniques detect errors by analyzing the source code during runtime, which will cause overheads, and this will affect the programs performance, especially when targeting massive parallel applications generating thousands or millions of threads. In this paper, we enhance ACCTEST to have the ability to test MPI-based programs and detect runtime errors occurring with different types of MPI communications. We decided to use hybrid-testing techniques by combining both static and dynamic testing techniques to gain the benefit of each and reduce the cost.
Keywords:
Testing
Programming
Tools
System recovery
Static analysis
Runtime
Task analysis
MPI
MPI testing tool
hybrid testing techniques
parallel programming
ACC_TEST
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Access cover
IEEE Access
IF:
3.6
Papers:
9.8W
Citations:
29.4W

Organization

U
University of Jeddah
Scholars:
2.3K
Papers: 2.6K
Citations: 3.6K
K
King Abdulaziz University
Scholars:
2.0W
Papers: 1.9W
Citations: 3.3W