loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
27th Annual International Computer Software and Applications Conference
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Dallas, Texas
November 03-November 06
ISBN: 0-7695-2020-0
Huo Yan Chen, Jinan University, China
Yu Xia Sun, Jinan University, China
T. H. Tse, The University of Hong Kong
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.
Index Terms:
Object-oriented program testing, concurrency, non-determinism, OBJSA net
Citation:
Huo Yan Chen, Yu Xia Sun, T. H. Tse, "A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software," compsac, pp.198, 27th Annual International Computer Software and Applications Conference, 2003
Usage of this product signifies your acceptance of the Terms of Use.