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) |
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]
ABSTRACT |
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 |
|
EVERY VISITOR COUNTS: |