Proceedings of the 2003 IEEE International Conference on Systems, Man, and Cybernetics (SMC '03),
vol. 5, IEEE Computer Society Press, Los Alamitos, CA, pp. 4828-4833 (2003)

A Scheme for Dynamic Detection of Concurrent
Execution of Object-Oriented Software

Huo Yan Chen 2 , Yu Xia Sun 2 , and T.H. Tse 3

[paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2003-04]


Program testing is the most widely adopted approach for assuring the quality and reliability of software systems. Despite the popularity of the object-oriented programs, its testing is much more challenging than that of the conventional programs. We proposed previously a methodology known as TACCLE for testing object-oriented software. It has not, however, addressed the aspects of concurrency and non-determinism.

In this paper, we propose a scheme for dynamically detecting and testing concurrency in object-oriented software by executing selected concurrent pairs of operations. The scheme is based on OBJSA nets and addresses concurrency and non-determinism problems. An experimental case study is reported to show the effectiveness of the scheme in detecting deadlocks, race conditions and other coherence problems. The scheme supplements our previous static approach to detecting deadlock in Java multithreaded programs.

Keywords: Object-oriented program testing, dynamic detection and testing, concurrency, OBJSA net

1. This research is supported in part by the National Natural Science Foundation of China under Grant #60173038, the Guangdong Province Science Foundation under Grant #010421, and the Research Grants Council of Hong Kong.
2. Department of Computer Science, Jinan University, Guangzhou 510632, China
3. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count