Technology for Testing Nondeterministic Client/Server Database Applications
IEEE Transactions on Software Engineering
Reachability Testing of Semaphore-Based Programs
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Reachability Testing of Concurrent Programs
IEEE Transactions on Software Engineering
MPIRace-check: detection of message races in MPI programs
GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
Detecting unaffected message races in parallel programs
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
Automated systematic testing of open distributed programs
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
An asynchronous message-passing program isnondeterministic. Given the same input, multipleexecutions of P may exercise different send/receiveevent sequences (or SR-sequences) and may evenproduce different results. Such nondeterminacymakes it difficult to determine the correctness of P.Let X be an input of P. Assume that any execution of P with X terminates. Reachability testing ofP with X is to execute, in a systematic manner, allpossible SR-sequences of P with X such that the correctnessof P with X can be determined. The basicidea of reachability testing is described as follows.We first execute P with X nondeterministically tocollect one or more SR-sequences. F or each collectedSR-sequence, we analyze its race conditions andgenerate race variants, which are prefixes of otherSR-sequences. We replay race variants to generatenew SR-sequences. F or each new SR-sequence, werepeat the same process until we eventually executeall possible SR-sequences of P with X. In this paper,we describe an efficient implementation of reachabilitytesting of asynchronous message-passing programs.Our technique deals with partially-orderedSR-sequences and reduces the complexity and redundancy caused by totally-ordered SR-sequences.