Abstract
This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control flow, generating control flow graph of nondeterministic programs, investigating the applicability of sequential testing criteria to parallel program testing etc. For solving these issues, some existing techniques are discussed in this study. Various researchers use an intermediate graph called Event Inter Actions Graph (EIAG) to solve the problem of generating the control flow graph of nondeterministic programs. Some researches propose an intermediate graph called Interaction Sequence Testing Criteria (ISTC) approach based on sequence of interactions to solve the problem of test coverage criteria based on control and data flow. Another method to solve the problem of generating test coverage based on control flow graph of nondeterministic programs is constraint based approach. It needs constrained elements to generate test case which includes structural element and constraint. The selection of good test cases has been addressed by test data generation technique. The technique of concurrent path analysis approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It reduces the number of combined concurrent test paths. The sequential test paths are combined to form concurrent test path. The Integration and System Test Automation (ISTA) approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It is used for automated test case generation and execution by using high-level Petri net is a finite state test model.
Highlights
The testing of software is quite costly; it accounts for around half of the software system development
The number of overlapping test cases is decreased as the co path generated through the algorithm is made logically
The OSC concerns with the execution order of the concurrent statement: 1) The concept of OSC is applied on Event Inter Actions Graph (EIAG) and a new testing criterion Interaction Sequence Testing Criteria (ISTC) [7] which is based on sequence of interaction is adopted
Summary
The testing of software is quite costly; it accounts for around half of the software system development. A test sequence signifies a sequence of actions executed by the concurrent processes in a program [1]. These actions are generally interprocess communications such as sending and receiving of messages. There is a link between the number of test-cases and accurate description of program behavior. A precise description can increase the number of test-cases. Decrement in number of test-cases may not well reflect program behavior. Its application in concurrent programs is generally meaningless because the methods cannot test the synchronization of each task, and consists of edge that symbolizes transfers of states of each task [2]. There are different techniques used for test case generation for the concurrent programs described below
Sign-in/Register to view highlights & summary 
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call