Improving path selection by handling loops in automatic test data generation

Zanjani, Sajjad Naghdali; fuladi, Mehdi Dehghan Takht; Aghababa, Amir Bagheri

doi:10.1109/inmic.2011.6151487

Cited by 5 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The execution of more than one iteration of a loop in parallel programs comprises the execution of different paths and new associations among processes interacting, so it is essential to analyze data, communication, and control flows in further iterations. Different studies address such issues with methods to determine the number of iterations of a loop 8,9,17,18 …”

Section: Challenges For Coverage Of Communication Events Into Loopsmentioning

confidence: 99%

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: Challenges For Coverage Of Communication Events Into Loopsmentioning

confidence: 99%

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

show abstract

“…The approach of Zanjani et al (ZANJANI;FULADI;AGHABABA, 2011) selects paths from loops focusing on the feasibility of selected paths, using dynamic analysis to traverse the CFG and symbolic execution to determine the type of the loop and thus obtain the number of iterations. Zanjani et al defines rules that loops must accomplish to implement the method, and presents characteristics of the CFG representation.…”

Section: Capturing Information From Loopsmentioning

confidence: 99%