Deterministic Execution Testing for Concurrent Programs based on Automata
In-Sang Chung, Byeong-Man Kim, Hyeon Soo Kim · Jeongbo gwahaghoe nonmunji. so'peuteuweeo mich eung'yong · 2001
In this paper, we present a new approach to deterministic execution for testing concurrent programs. The proposed approach makes use of the notion of event independence which has been used in the partial-order method in order to resolve the state-explosion problem and constructs and automation which accepts all the sequences semantically equivalent to a given sequence. Consequently, we can allow a program to be executed according to event sequences other then the (possibly infeasible) given sequence if they have the same effects on the program's behavior. One advantage of this method is that it can be applied to situations where a program is not exactly implemented as described in the specification