Proceedings of the 27th Annual International Computer Software and
Applications Conference
(COMPSAC '03),
IEEE Computer Society Press, Los Alamitos, CA, pp. 109-203 (2003) |
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]
ABSTRACT |
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 |
|
EVERY VISITOR COUNTS: |