Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1109/ICSMC.2003.1245747
- Scopus: eid_2-s2.0-0242636883
- Find via
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: A scheme for dynamic detection of concurrent execution of object-oriented software
Title | A scheme for dynamic detection of concurrent execution of object-oriented software |
---|---|
Authors | |
Keywords | Concurrency Dynamic detection and testing Object-oriented program testing OBJSA net |
Issue Date | 2003 |
Publisher | IEEE. |
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? |
Abstract | Program 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 Identifier | http://hdl.handle.net/10722/48444 |
ISBN | |
ISSN | 2020 SCImago Journal Rankings: 0.168 |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chen, HY | en_HK |
dc.contributor.author | Sun, YX | en_HK |
dc.contributor.author | Tse, TH | en_HK |
dc.date.accessioned | 2008-05-22T04:13:11Z | - |
dc.date.available | 2008-05-22T04:13:11Z | - |
dc.date.issued | 2003 | en_HK |
dc.identifier.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 | en_HK |
dc.identifier.isbn | 0-7803-7952-7 | - |
dc.identifier.issn | 1062-922X | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/48444 | - |
dc.description.abstract | Program 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.extent | 325479 bytes | - |
dc.format.extent | 783 bytes | - |
dc.format.extent | 783 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | text/plain | - |
dc.format.mimetype | text/plain | - |
dc.language | eng | en_HK |
dc.publisher | IEEE. | en_HK |
dc.relation.ispartof | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics | en_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.subject | Concurrency | en_HK |
dc.subject | Dynamic detection and testing | en_HK |
dc.subject | Object-oriented program testing | en_HK |
dc.subject | OBJSA net | en_HK |
dc.title | A scheme for dynamic detection of concurrent execution of object-oriented software | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
dc.identifier.authority | Tse, TH=rp00546 | en_HK |
dc.description.nature | published_or_final_version | en_HK |
dc.identifier.doi | 10.1109/ICSMC.2003.1245747 | - |
dc.identifier.scopus | eid_2-s2.0-0242636883 | en_HK |
dc.identifier.hkuros | 86480 | - |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-0242636883&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.volume | 5 | en_HK |
dc.identifier.spage | 4828 | en_HK |
dc.identifier.epage | 4833 | en_HK |
dc.identifier.scopusauthorid | Chen, HY=7501614657 | en_HK |
dc.identifier.scopusauthorid | Sun, YX=7406426165 | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |
dc.identifier.issnl | 1062-922X | - |