Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1109/TSE.2013.33
- Scopus: eid_2-s2.0-84887856164
- WOS: WOS:000326501200006
- Find via
Supplementary
- Citations:
- Appears in Collections:
Article: Equality to equals and unequals: a revisit of the equivalence and nonequivalence criteria in object-oriented software testing
Title | Equality to equals and unequals: a revisit of the equivalence and nonequivalence criteria in object-oriented software testing |
---|---|
Authors | |
Keywords | Software testing equivalence criterion nonequivalence criterion algebraic specification object-oriented software |
Issue Date | 2013 |
Publisher | IEEE. The Journal's web site is located at http://www.computer.org/tse |
Citation | IEEE Transactions on Software Engineering, 2013, v. 39 n. 11, p. 1549-1563 How to Cite? |
Abstract | Algebraic specifications have been used in the testing of object-oriented programs and received much attention since the 1990s. It is generally believed that class-level testing based on algebraic specifications involves two independent aspects: the testing of equivalent and nonequivalent ground terms. Researchers have cited intuitive examples to illustrate the philosophy that even if an implementation satisfies all the requirements specified by the equivalence of ground terms, it may still fail to satisfy some of the requirements specified by the nonequivalence of ground terms. Thus, both the testing of equivalent ground terms and the testing of nonequivalent ground terms have been considered as significant and cannot replace each other. In this paper, we present an innovative finding that, given any canonical specification of a class with proper imports, a complete implementation satisfies all the observationally equivalent ground terms if and only if it satisfies all the observationally nonequivalent ground terms. As a result, these two aspects of software testing cover each other and can therefore replace each other. These findings provide a deeper understanding of software testing based on algebraic specifications, rendering the theory more elegant and complete. We also highlight a couple of important practical implications of our theoretical results. |
Persistent Identifier | http://hdl.handle.net/10722/187124 |
ISSN | 2023 Impact Factor: 6.5 2023 SCImago Journal Rankings: 1.868 |
ISI Accession Number ID |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chen, HY | - |
dc.contributor.author | Tse, TH | - |
dc.date.accessioned | 2013-08-20T12:30:50Z | - |
dc.date.available | 2013-08-20T12:30:50Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | IEEE Transactions on Software Engineering, 2013, v. 39 n. 11, p. 1549-1563 | - |
dc.identifier.issn | 0098-5589 | - |
dc.identifier.uri | http://hdl.handle.net/10722/187124 | - |
dc.description.abstract | Algebraic specifications have been used in the testing of object-oriented programs and received much attention since the 1990s. It is generally believed that class-level testing based on algebraic specifications involves two independent aspects: the testing of equivalent and nonequivalent ground terms. Researchers have cited intuitive examples to illustrate the philosophy that even if an implementation satisfies all the requirements specified by the equivalence of ground terms, it may still fail to satisfy some of the requirements specified by the nonequivalence of ground terms. Thus, both the testing of equivalent ground terms and the testing of nonequivalent ground terms have been considered as significant and cannot replace each other. In this paper, we present an innovative finding that, given any canonical specification of a class with proper imports, a complete implementation satisfies all the observationally equivalent ground terms if and only if it satisfies all the observationally nonequivalent ground terms. As a result, these two aspects of software testing cover each other and can therefore replace each other. These findings provide a deeper understanding of software testing based on algebraic specifications, rendering the theory more elegant and complete. We also highlight a couple of important practical implications of our theoretical results. | - |
dc.language | eng | - |
dc.publisher | IEEE. The Journal's web site is located at http://www.computer.org/tse | - |
dc.relation.ispartof | IEEE Transactions on Software Engineering | - |
dc.rights | IEEE Transactions on Software Engineering. Copyright © IEEE. | - |
dc.rights | ©2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | - |
dc.subject | Software testing | - |
dc.subject | equivalence criterion | - |
dc.subject | nonequivalence criterion | - |
dc.subject | algebraic specification | - |
dc.subject | object-oriented software | - |
dc.title | Equality to equals and unequals: a revisit of the equivalence and nonequivalence criteria in object-oriented software testing | - |
dc.type | Article | - |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | - |
dc.identifier.authority | Tse, TH=rp00546 | - |
dc.description.nature | postprint | - |
dc.identifier.doi | 10.1109/TSE.2013.33 | - |
dc.identifier.scopus | eid_2-s2.0-84887856164 | - |
dc.identifier.hkuros | 216895 | - |
dc.identifier.volume | 39 | - |
dc.identifier.issue | 11 | - |
dc.identifier.spage | 1549 | - |
dc.identifier.epage | 1563 | - |
dc.identifier.isi | WOS:000326501200006 | - |
dc.publisher.place | United States | - |
dc.identifier.issnl | 0098-5589 | - |