Structural testing criteria for concurrent programs considering loop execution

Diaz, Silvia M. D.

doi:10.11606/d.55.2019.tde-21082019-154821

Cited by 2 publications

(2 citation statements)

References 27 publications

(60 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such a study was designed following the experimental process proposed in Wohlin et al 27 We present just a summarized description of the experimental study due to space limitations. See more details in Reference 28.…”

Section: Experimental Studymentioning

confidence: 99%

“…Another aspect to consider and still open for the testing of message‐passing parallel programs are loop structures, which are usually applied when coding and have high potential to hide defects 8,9 . It is necessary to analyze the behavior of parallel programming primitives inside of loops, searching for unknown defects in control, data, and communication flows among processes 10 …”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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

Diaz

Souza

2021

Concurrency and Computation

View full text Add to dashboard Cite

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.

show abstract

Section: Experimental Studymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%