Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC '03),
IEEE Computer Society Press, Los Alamitos, CA, pp. 109-203 (2003)

A Strategy for Selecting Synchronization Sequences
to Test Concurrent 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 | revised version TR-2003-05]


Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventional programs. Although we proposed previously a method called TACCLE for testing object-oriented software at the class and cluster levels, it did not cover concurrent or non-deterministic situations.

This paper puts forward a strategy for selecting synchronization sequences to test concurrent object-oriented software, including non-deterministic cases. It is based on OBJSA net/CLOWN specifications. Experiments have been carried out in a case study to verify the efficacy of the strategy.

Keywords: Object-oriented program testing, concurrency, non-determinism, 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 under Grant No. 702901, and The University of Hong Kong under a CRCG grant.
2. Department of Computer Science, Jinan University, Guangzhou 510632, China.
3. (Corresponding author.)
Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count