File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Article: ROCS: An object-oriented class-level testing system based on the Relevant Observable ContextS technique

TitleROCS: An object-oriented class-level testing system based on the Relevant Observable ContextS technique
Authors
KeywordsEquivalent terms
Fundamental pairs
Class-level testing
Object-oriented testing
Observational equivalence
Relevant observable contexts
Issue Date2000
PublisherElsevier BV. The Journal's web site is located at http://www.elsevier.com/locate/infsof
Citation
Information And Software Technology, 2000, v. 42 n. 10, p. 677-686 How to Cite?
AbstractGiven an algebraic specification of a class of objects, we define a fundamental pair as two equivalent terms generated by substituting all the variables on both sides of an axiom by normal forms. For any implementation error in the class, if it can be revealed by two equivalent terms in general, it can also be revealed by a fundamental pair. Hence, we need only select test cases from the set of fundamental pairs instead of equivalent pairs in general. We highlight an algorithm for selecting a finite set of fundamental pairs as test cases. Further, by using the relevant observable contexts technique, we highlight another algorithm to determine whether the objects resulting from executing a fundamental pair are observationally equivalent. If not, it reveals an implementation error. Using these algorithms, we have constructed a system to test object-oriented programs at class-level. We describe in detail the implementation of a prototype system, including the data structure of a Data member Relevant Graph (DRG) for the class, the procedures for the construction and path traversal of the DRG, the generation and execution of relevant observable contexts on the objects under test, and the reporting of implementation errors. The implementation illustrates an innovative idea of embedding testing algorithms into an interpreter to facilitate software testing.
SponsorshipThis research is supported in part by the Guangdong Province Science Foundation under Grants Nos. 980690 and 950618, the Hong Kong Research Grants Council, the National Natural Science Foundation of China under Grant No. 69873020, and the University Research Committee of the University of Hong Kong. Part of the Chen’s work was done when he was on leave at the University of Hong Kong. Part of the Tse’s work was done when he was on leave at the Vocational Training Council, Hong Kong. Part of the Deng’s work was done when he was with Jinan University, China.
Persistent Identifierhttp://hdl.handle.net/10722/55519
ISSN
2023 Impact Factor: 3.8
2023 SCImago Journal Rankings: 1.320
ISI Accession Number ID
References

 

DC FieldValueLanguage
dc.contributor.authorChen, HYen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorDeng, YTen_HK
dc.date.accessioned2009-08-13T08:24:55Z-
dc.date.available2009-08-13T08:24:55Z-
dc.date.issued2000en_HK
dc.identifier.citationInformation And Software Technology, 2000, v. 42 n. 10, p. 677-686en_HK
dc.identifier.issn0950-5849en_HK
dc.identifier.urihttp://hdl.handle.net/10722/55519-
dc.description.abstractGiven an algebraic specification of a class of objects, we define a fundamental pair as two equivalent terms generated by substituting all the variables on both sides of an axiom by normal forms. For any implementation error in the class, if it can be revealed by two equivalent terms in general, it can also be revealed by a fundamental pair. Hence, we need only select test cases from the set of fundamental pairs instead of equivalent pairs in general. We highlight an algorithm for selecting a finite set of fundamental pairs as test cases. Further, by using the relevant observable contexts technique, we highlight another algorithm to determine whether the objects resulting from executing a fundamental pair are observationally equivalent. If not, it reveals an implementation error. Using these algorithms, we have constructed a system to test object-oriented programs at class-level. We describe in detail the implementation of a prototype system, including the data structure of a Data member Relevant Graph (DRG) for the class, the procedures for the construction and path traversal of the DRG, the generation and execution of relevant observable contexts on the objects under test, and the reporting of implementation errors. The implementation illustrates an innovative idea of embedding testing algorithms into an interpreter to facilitate software testing.en_HK
dc.description.sponsorshipThis research is supported in part by the Guangdong Province Science Foundation under Grants Nos. 980690 and 950618, the Hong Kong Research Grants Council, the National Natural Science Foundation of China under Grant No. 69873020, and the University Research Committee of the University of Hong Kong. Part of the Chen’s work was done when he was on leave at the University of Hong Kong. Part of the Tse’s work was done when he was on leave at the Vocational Training Council, Hong Kong. Part of the Deng’s work was done when he was with Jinan University, China.en
dc.language.isoengen
dc.publisherElsevier BV. The Journal's web site is located at http://www.elsevier.com/locate/infsofen_HK
dc.relation.ispartofInformation and Software Technologyen_HK
dc.rightsCopyright © 2000 Elsevier Science B.V. All rights reserved.-
dc.rightsThis work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.-
dc.subjectEquivalent termsen
dc.subjectFundamental pairsen
dc.subjectClass-level testingen
dc.subjectObject-oriented testingen
dc.subjectObservational equivalenceen
dc.subjectRelevant observable contextsen
dc.titleROCS: An object-oriented class-level testing system based on the Relevant Observable ContextS techniqueen_HK
dc.typeArticleen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepreprinten_HK
dc.identifier.doi10.1016/S0950-5849(00)00112-9en_HK
dc.identifier.scopuseid_2-s2.0-0034224520en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0034224520&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume42en_HK
dc.identifier.issue10en_HK
dc.identifier.spage677en_HK
dc.identifier.epage686en_HK
dc.identifier.isiWOS:000088103600002-
dc.publisher.placeNetherlandsen_HK
dc.identifier.scopusauthoridChen, HY=7501614657en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridDeng, YT=7401531068en_HK
dc.identifier.issnl0950-5849-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats