A New Approach to Deterministic Execution Testing for
Concurrent Programs
In Sang Chung*, Byeong Man Kim**, and Hyeon Soo Kim**
*Hansung University, SOUTH KOREA
** National University of Technology, SOUTH KOREA
Abstract
Deterministic execution testing has been considered a promising way for
concurrent program testing because of its ability to replay a
program's execution. Since, however, deterministic execution
requires that a synchronization event sequence to be replayed be
feasible and valid, it is not directly applicable to a situation in which
synchronization sequences, being valid but infeasible, are taken
into account. Resolving this problem is very important
because a program may still meet its specification although the feasibility
of all valid sequences is not satisfied. In this paper, we propose
a new deterministic execution method that permits synchronization sequences
other than a given (possibly infeasible) sequence to be executed if they have
the same effects on the program's behavior. One major advantage of
this method is that it can be applied to situations where a
program is not exactly implemented as described in the specification.
Keywords:
Concurrent Program Testing, Deterministic Execution Testing,
Synchronization Error, Event Independence, Partial-Order Methods