File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: An empirical comparison between direct and indirect test result checking approaches

TitleAn empirical comparison between direct and indirect test result checking approaches
Authors
KeywordsControlled experiment
Empirical evaluation
Metamorphic testing
Test oracle
Issue Date2006
PublisherACM Press
Citation
Proceedings Of The Third International Workshop On Software Quality Assurance, Soqua 2006, 2006, p. 6-13 How to Cite?
AbstractAn oracle on software testing is a mechanism for checking whether the system under test has behaved correctly for any executions. In some situations, oracles are unavailable or too expensive to apply. This is known as the oracle problem. It is crucial to develop techniques to address it, and metamorphic testing (MT) was one of such proposals. This paper conducts a controlled experiment to investigate the cost effectiveness of using MT by 38 testers on three open-source programs. The fault detection capability and time cost of MT are compared with the popular assertion checking method. Our results show that MT is cost-efficient and has potentials for detecting more faults than the assertion checking method. Copyright 2006 ACM.
DescriptionThe SOQUA 2006 Workshop was held in conjunction with the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2006/FSE-14) ACM Press, New York, NY.
SponsorshipThis research is supported in part by a grant of the Research Grants Council of Hong Kong (project no. HKU 7145/04E), a grant of City University of Hong Kong and a grant of The University of Hong Kong.
Persistent Identifierhttp://hdl.handle.net/10722/55474
ISBN
References

 

DC FieldValueLanguage
dc.contributor.authorHu, Pen_HK
dc.contributor.authorZhang, Zen_HK
dc.contributor.authorChan, WKen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2009-08-12T08:41:37Z-
dc.date.available2009-08-12T08:41:37Z-
dc.date.issued2006en_HK
dc.identifier.citationProceedings Of The Third International Workshop On Software Quality Assurance, Soqua 2006, 2006, p. 6-13en_HK
dc.identifier.isbn1-59593-584-3-
dc.identifier.urihttp://hdl.handle.net/10722/55474-
dc.descriptionThe SOQUA 2006 Workshop was held in conjunction with the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2006/FSE-14) ACM Press, New York, NY.en
dc.description.abstractAn oracle on software testing is a mechanism for checking whether the system under test has behaved correctly for any executions. In some situations, oracles are unavailable or too expensive to apply. This is known as the oracle problem. It is crucial to develop techniques to address it, and metamorphic testing (MT) was one of such proposals. This paper conducts a controlled experiment to investigate the cost effectiveness of using MT by 38 testers on three open-source programs. The fault detection capability and time cost of MT are compared with the popular assertion checking method. Our results show that MT is cost-efficient and has potentials for detecting more faults than the assertion checking method. Copyright 2006 ACM.en_HK
dc.description.sponsorshipThis research is supported in part by a grant of the Research Grants Council of Hong Kong (project no. HKU 7145/04E), a grant of City University of Hong Kong and a grant of The University of Hong Kong.en
dc.language.isoengen
dc.publisherACM Pressen
dc.relation.ispartofProceedings of the Third International Workshop on Software Quality Assurance, SOQUA 2006en_HK
dc.rightsThis work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.-
dc.subjectControlled experimenten_HK
dc.subjectEmpirical evaluationen_HK
dc.subjectMetamorphic testingen_HK
dc.subjectTest oracleen_HK
dc.titleAn empirical comparison between direct and indirect test result checking approachesen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://llibrary.hku.hk:4550/resserv?sid=HKU:IR&isbn=1-59593-584-3&spage=6-13&epage=13&date=2006&atitle=An+Empirical+Comparison+Between+Direct+and+Indirect+Test+Result+Checking+Approaches-
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepreprinten_HK
dc.identifier.doi10.1145/1188895.1188901en_HK
dc.identifier.scopuseid_2-s2.0-34547662248en_HK
dc.identifier.hkuros130280-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-34547662248&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage6en_HK
dc.identifier.epage13en_HK
dc.identifier.scopusauthoridHu, P=7201989692en_HK
dc.identifier.scopusauthoridZhang, Z=10639502200en_HK
dc.identifier.scopusauthoridChan, WK=23967779900en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats