Test Case Generation of Concurrent Programs Based on Event Graph

This paper attempts to generate test cases for concurrent programs based on event graph. Through the analysis of state transition of event graph, sub-event-graphs can be generated. Each sub-event-graph corresponds to a test case. We may get benefits from this method in the following. (1) While executing the test case, we can monitor the state transition. (2) Every sub-event-graph is an execution path, or a simulation, thus all test cases are feasible. (3) Since the number of states in the event graph is finite, it is not likely to hit state explosion problem in the test generation process.