File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: A scheme for dynamic detection of concurrent execution of object-oriented software

TitleA scheme for dynamic detection of concurrent execution of object-oriented software
Authors
Chen, HYSun, YXTse, TH
KeywordsConcurrency
Dynamic detection and testing
Object-oriented program testing
OBJSA net
Issue Date2003
PublisherIEEE.
Citation
2003 IEEE International Conference on Systems, Man and Cybernetics (SMC 2003): System Security and Assurance, Washington, DC, 5-8 October 2003. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2003, v. 5, p. 4828-4833 How to Cite?
DOI: http://dx.doi.org/10.1109/ICSMC.2003.1245747
AbstractProgram testing is the most widely adopted approach for assuring the quality and reliability of software systems. Despite the popularity of the object-oriented programs, its testing is much more challenging than that of the conventional programs. We proposed previously a methodology known as TACCLE for testing object-oriented software. It has not, however, addressed the aspects of concurrency and non-determinism. In this paper, we propose a scheme for dynamically detecting and testing concurrency in object-oriented software by executing selected concurrent pairs of operations. The scheme is based on OBJSA nets and addresses concurrency and non-determinism problems. An experimental case study is reported to show the effectiveness of the scheme in detecting deadlocks, race conditions and other coherence problems. The scheme supplements our previous static approach to detecting deadlock in Java multithreaded programs.
Persistent Identifierhttp://hdl.handle.net/10722/48444
ISBN
0-7803-7952-7
ISSN
1062-922X
2020 SCImago Journal Rankings: 0.168
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorChen, HYen_HK
dc.contributor.authorSun, YXen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2008-05-22T04:13:11Z-
dc.date.available2008-05-22T04:13:11Z-
dc.date.issued2003en_HK
dc.identifier.citation2003 IEEE International Conference on Systems, Man and Cybernetics (SMC 2003): System Security and Assurance, Washington, DC, 5-8 October 2003. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2003, v. 5, p. 4828-4833en_HK
dc.identifier.isbn0-7803-7952-7-
dc.identifier.issn1062-922Xen_HK
dc.identifier.urihttp://hdl.handle.net/10722/48444-
dc.description.abstractProgram testing is the most widely adopted approach for assuring the quality and reliability of software systems. Despite the popularity of the object-oriented programs, its testing is much more challenging than that of the conventional programs. We proposed previously a methodology known as TACCLE for testing object-oriented software. It has not, however, addressed the aspects of concurrency and non-determinism. In this paper, we propose a scheme for dynamically detecting and testing concurrency in object-oriented software by executing selected concurrent pairs of operations. The scheme is based on OBJSA nets and addresses concurrency and non-determinism problems. An experimental case study is reported to show the effectiveness of the scheme in detecting deadlocks, race conditions and other coherence problems. The scheme supplements our previous static approach to detecting deadlock in Java multithreaded programs.en_HK
dc.format.extent325479 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.en_HK
dc.relation.ispartofProceedings of the IEEE International Conference on Systems, Man and Cyberneticsen_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.subjectDynamic detection and testingen_HK
dc.subjectObject-oriented program testingen_HK
dc.subjectOBJSA neten_HK
dc.titleA scheme for dynamic detection of concurrent execution of 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/ICSMC.2003.1245747-
dc.identifier.scopuseid_2-s2.0-0242636883en_HK
dc.identifier.hkuros86480-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0242636883&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume5en_HK
dc.identifier.spage4828en_HK
dc.identifier.epage4833en_HK
dc.identifier.scopusauthoridChen, HY=7501614657en_HK
dc.identifier.scopusauthoridSun, YX=7406426165en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.issnl1062-922X-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats