File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing

TitleA scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing
Authors
KeywordsAlgebraic specification
Axiom
Object-oriented
Prototype tool
Testing
Issue Date2008
PublisherIEEE
Citation
Proceedings - International Conference On Computer Science And Software Engineering, Csse 2008, 2008, v. 2, p. 747-750 How to Cite?
AbstractIn 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.
Persistent Identifierhttp://hdl.handle.net/10722/54696
ISBN
References

 

DC FieldValueLanguage
dc.contributor.authorHuo, YCen_HK
dc.contributor.authorLin, Ten_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2009-06-23T02:55:47Z-
dc.date.available2009-06-23T02:55:47Z-
dc.date.issued2008en_HK
dc.identifier.citationProceedings - International Conference On Computer Science And Software Engineering, Csse 2008, 2008, v. 2, p. 747-750en_HK
dc.identifier.isbn9780769533360-
dc.identifier.urihttp://hdl.handle.net/10722/54696-
dc.description.abstractIn 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.sponsorshipUnion 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.isoengen
dc.publisherIEEEen
dc.relation.ispartofProceedings - International Conference on Computer Science and Software Engineering, CSSE 2008en_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.rightsPersonal 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.subjectAlgebraic specificationen_HK
dc.subjectAxiomen_HK
dc.subjectObject-orienteden_HK
dc.subjectPrototype toolen_HK
dc.subjectTestingen_HK
dc.titleA scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testingen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://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.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/CSSE.2008.600en_HK
dc.identifier.scopuseid_2-s2.0-79951504518en_HK
dc.identifier.hkuros149498en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-79951504518&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume2en_HK
dc.identifier.spage747en_HK
dc.identifier.epage750en_HK
dc.identifier.scopusauthoridHuo, YC=36968091300en_HK
dc.identifier.scopusauthoridLin, T=54788159000en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats