Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1109/CSSE.2008.600
- Scopus: eid_2-s2.0-79951504518
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing
Title | A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing |
---|---|
Authors | |
Keywords | Algebraic specification Axiom Object-oriented Prototype tool Testing |
Issue Date | 2008 |
Publisher | IEEE |
Citation | Proceedings - International Conference On Computer Science And Software Engineering, Csse 2008, 2008, v. 2, p. 747-750 How to Cite? |
Abstract | In order to ensure reliability and quality, software systems must be tested. Testing object-oriented software is harder than testing procedure-oriented software. It involves four levels, namely the algorithmic level, class level, cluster level, and system level. We proposed a methodology TACCLE for class-and cluster- level testing. It includes an important algorithm GFT for generating fundamental equivalent pairs as class-level test cases based on axioms in a given algebraic specification for a given class. This formal methodology has many benefits. However, system analysts often find it difficult to construct axioms for algebraic specifications. In this paper, we propose a scheme to aid the construction of the left-hand sides of axioms. The scheme alleviates the difficulties of the system analysts and also helps them check the completeness, consistency, and independence of the axiom system. © 2008 IEEE. |
Sponsorship | Union Grant of Guangdong Province and National Natural Science Foundation of China (#U0775001), Guangdong Province Science Foundation (#7010116), and by a grant of the Youth Science Foundation of Jinan University (#51208035). |
Persistent Identifier | http://hdl.handle.net/10722/54696 |
ISBN | |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Huo, YC | en_HK |
dc.contributor.author | Lin, T | en_HK |
dc.contributor.author | Tse, TH | en_HK |
dc.date.accessioned | 2009-06-23T02:55:47Z | - |
dc.date.available | 2009-06-23T02:55:47Z | - |
dc.date.issued | 2008 | en_HK |
dc.identifier.citation | Proceedings - International Conference On Computer Science And Software Engineering, Csse 2008, 2008, v. 2, p. 747-750 | en_HK |
dc.identifier.isbn | 9780769533360 | - |
dc.identifier.uri | http://hdl.handle.net/10722/54696 | - |
dc.description.abstract | In order to ensure reliability and quality, software systems must be tested. Testing object-oriented software is harder than testing procedure-oriented software. It involves four levels, namely the algorithmic level, class level, cluster level, and system level. We proposed a methodology TACCLE for class-and cluster- level testing. It includes an important algorithm GFT for generating fundamental equivalent pairs as class-level test cases based on axioms in a given algebraic specification for a given class. This formal methodology has many benefits. However, system analysts often find it difficult to construct axioms for algebraic specifications. In this paper, we propose a scheme to aid the construction of the left-hand sides of axioms. The scheme alleviates the difficulties of the system analysts and also helps them check the completeness, consistency, and independence of the axiom system. © 2008 IEEE. | en_HK |
dc.description.sponsorship | Union Grant of Guangdong Province and National Natural Science Foundation of China (#U0775001), Guangdong Province Science Foundation (#7010116), and by a grant of the Youth Science Foundation of Jinan University (#51208035). | en |
dc.language.iso | eng | en |
dc.publisher | IEEE | en |
dc.relation.ispartof | Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008 | en_HK |
dc.rights | ©2008 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 | Algebraic specification | en_HK |
dc.subject | Axiom | en_HK |
dc.subject | Object-oriented | en_HK |
dc.subject | Prototype tool | en_HK |
dc.subject | Testing | en_HK |
dc.title | A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.openurl | http://library.hku.hk:4550/resserv?sid=HKU:IR&isbn=978-0-7695-3336-0&date=2008&atitle=A+Scheme+to+Aid+Construction+of+Left-Hand+of+Axioms+in+Algebraic+Specifications+for+Object-Oriented+Program+Testing | - |
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/CSSE.2008.600 | en_HK |
dc.identifier.scopus | eid_2-s2.0-79951504518 | en_HK |
dc.identifier.hkuros | 149498 | en_HK |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-79951504518&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.volume | 2 | en_HK |
dc.identifier.spage | 747 | en_HK |
dc.identifier.epage | 750 | en_HK |
dc.identifier.scopusauthorid | Huo, YC=36968091300 | en_HK |
dc.identifier.scopusauthorid | Lin, T=54788159000 | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |