File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software

TitleA Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Authors
KeywordsConcurrency
Non-determinism
Object-oriented program testing
OBJSA net
Issue Date2003
PublisherIEEE, Computer Society.
Citation
27th Annual International Computer Software and Applications Conference (COMPSAC 2003), Dallas, TX, 3-6 November 2003. In Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2003, p. 198-203 How to Cite?
AbstractTesting 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.
Persistent Identifierhttp://hdl.handle.net/10722/48445
ISSN
References

 

DC FieldValueLanguage
dc.contributor.authorChen, HYen_HK
dc.contributor.authorSun, YXen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2008-05-22T04:13:12Z-
dc.date.available2008-05-22T04:13:12Z-
dc.date.issued2003en_HK
dc.identifier.citation27th Annual International Computer Software and Applications Conference (COMPSAC 2003), Dallas, TX, 3-6 November 2003. In Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2003, p. 198-203en_HK
dc.identifier.issn0730-3157en_HK
dc.identifier.urihttp://hdl.handle.net/10722/48445-
dc.description.abstractTesting 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.en_HK
dc.format.extent140269 bytes-
dc.format.extent783 bytes-
dc.format.extent783 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypetext/plain-
dc.format.mimetypetext/plain-
dc.languageengen_HK
dc.publisherIEEE, Computer Society.en_HK
dc.relation.ispartofProceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003en_HK
dc.rights©2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.-
dc.subjectConcurrencyen_HK
dc.subjectNon-determinismen_HK
dc.subjectObject-oriented program testingen_HK
dc.subjectOBJSA neten_HK
dc.titleA Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Softwareen_HK
dc.typeConference_Paperen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/CMPSAC.2003.1245341-
dc.identifier.scopuseid_2-s2.0-0345097589en_HK
dc.identifier.hkuros86496-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0345097589&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage198en_HK
dc.identifier.epage203en_HK
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridChen, HY=7501614657en_HK
dc.identifier.scopusauthoridSun, YX=7406426165en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.issnl0730-3157-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats