DocumentCode :
2291672
Title :
A strategy for selecting synchronization sequences to test concurrent object-oriented software
Author :
Chen, Huo Yan ; Sun, Yu Xia ; Tse, T.H.
Author_Institution :
Dept. of Comput. Sci., Jinan Univ., Guangdong, China
fYear :
2003
fDate :
3-6 Nov. 2003
Firstpage :
198
Lastpage :
203
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 programming; program testing; software quality; software reliability; synchronisation; CLOWN specifications; OBJSA net specifications; TACCLE; concurrent object-oriented software; object-oriented programming; software development; software quality; software reliability; software testing; synchronization sequence selection strategy; Application software; Computer science; Concurrent computing; Java; Petri nets; Software quality; Software reusability; Software testing; Sun; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International
ISSN :
0730-3157
Print_ISBN :
0-7695-2020-0
Type :
conf
DOI :
10.1109/CMPSAC.2003.1245341
Filename :
1245341
Link To Document :
بازگشت