.png){kind=icon}
返回
ACCTEST: Hybrid Testing Techniques for MPI-Based Programs
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2020.2994172.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
Testing
Programming
Tools
System recovery
Static analysis
Runtime
Task analysis
MPI
MPI testing tool
hybrid testing techniques
parallel programming
ACC_TEST
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
.png){kind=icon}
Variation in moisture contents between bulk soil and the rhizosheath of wheat (Triticum aestivum L. cv. Wembley)散装土壤与小麦根鞘之间的水分含量变化 ( 普通小麦 L. cv. Wembley)OAAI
OAAI分享收藏Study on the Validity of Surface Electromyography as Assessment Tools for Facial Nerve Palsy表面肌电作为面神经麻痹评估工具的有效性研究OAAI
OAAI分享收藏分享收藏
PARCOACH: Combining static and dynamic validation of MPI collective communicationsPARCOACH: 结合MPI集体通信的静态和动态验证OAAI
OAAI分享收藏 没有更多内容
没有更多内容