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
ASCII Text
x 
 
Huo Yan Chen, Yu Xia Sun, T. H. Tse, "A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software," Computer Software and Applications Conference, Annual International, pp. 198, 27th Annual International Computer Software and Applications Conference, 2003.
 
 
BibTex
x
 
@article{ 10.1109/CMPSAC.2003.1245341,
author = {Huo Yan Chen and Yu Xia Sun and T. H. Tse},
title = {A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2003},
isbn = {0-7695-2020-0},
pages = {198},
doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2003.1245341},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
SN - 0-7695-2020-0
SP
EP
A1 - Huo Yan Chen,
A1 - Yu Xia Sun,
A1 - T. H. Tse,
PY - 2003
KW - Object-oriented program testing
KW - concurrency
KW - non-determinism
KW - OBJSA net
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
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.