Search Results - "parallel program testing"

Parallel program testing based on critical communication and branch transformation by Tian, Tian, Wang, Anshi, Yang, Xiuting, Gong, Dunwei, Hou, Tie, Yao, Xiangjuan

“… Communication plays a substantial role in parallel program testing. The huge scale of communication within parallel programs poses a great challenge to coverage testing…”
Get full text

Reachability testing algorithm for parallel program in heterogeneous network environment by WANG Wei1, DU Cui-lan2, ZHANG Hong-li1

“…Orienting to difficulty of testing nondeterministic parallel programs,the relationship between message-passing behavior and network performance constraint in…”
Get full text

Reachability testing algorithm for parallel program in heterogeneous network environment by WANG Wei1, DU Cui-lan2, ZHANG Hong-li1

“…Orienting to difficulty of testing nondeterministic parallel programs,the relationship between message-passing behavior and network performance constraint in…”
Get full text

Smart Interleavings for Testing Parallel Programs by Farchi, Eitan

“…This chapter considers the problem of testing programs that execute several parallel tasks. Once a program is defined, it can be reviewed to validate its…”
Get full text

Early errors detection in parallel programs by Karpov, Andrey N, Ryzhkov, Evgeniy A

“…The goal of this paper is to tell about the methodology and tools for errors detection in parallel programs at the code writing stage. Applying static code…”
Get full text

Methodologies for validating parallel programs by Kim, Youngmee

“… to sequential software validation but little previous research has focused on parallel program testing, this thesis…”
Get full text

Program-based, structural testing of shared memory parallel programs by Yang, Cheer-Sun David

“…As computational scientists continue to demand higher performance, the use of parallelism is becoming more pervasive. Workstations with multiple CPU's are no…”
Get full text

Testing shared-memory parallel programs by Sung, A.H.

“… Various testing coverage metrics are defined, and their properties are discussed. Also presented is a complete parallel program testing methodology which incorporates test generation tools for serial programs…”
Get full text

Structured arrows: a type-based framework for structured parallelism by Castro, David

“… Due to the non-deterministic behaviour of most parallel programs, testing parallel software can be both tedious and time-consuming…”
Get full text