Paper Info
Title
A New Approach To Deterministic Execution Testing For Concurrent Programs
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 tu 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 present a new approach to deterministic execution for testing concurrent systems. The proposed approach makes use of the notion of event independence and constructs an automation which accepts all the sequences semantically equivalent to a given event sequence to be replayed, Consequently, we can allow a program to be executed according to event sequences other than the given (possible infeasible) sequence if they can be accepted by the automation.
Year
Venue
Keywords
2000
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
concurrent program testing, deterministic execution testing, synchronization error, event independence, partial-order methods
Field
DocType
Volume
Programming language,Computer science
Conference
E84D
Issue
ISSN
Citations 
12
1745-1361
2
PageRank 
References 
Authors
0.39
1
3
Name
Order
Citations
PageRank
In Sang Chung1646.76
Byeong Man Kim227720.88
Hyeon Soo Kim37810.36