File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Fault-based testing in the absence of an oracle

TitleFault-based testing in the absence of an oracle
Authors
Chen, TYTse, THZhou, Z
KeywordsFault-based testing
Metamorphic testing
Oracle problem
Symbolic execution
Issue Date2001
PublisherIEEE, Computer Society.
Citation
Proceedings - Ieee Computer Society's International Computer Software And Applications Conference, 2001, p. 172-178 How to Cite?
DOI: http://dx.doi.org/10.1109/CMPSAC.2001.960614
AbstractAlthough testing is the most popular method for assuring software quality, there are two recognized limitations, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to address the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.
Persistent Identifierhttp://hdl.handle.net/10722/48439
ISSN
0730-3157
2020 SCImago Journal Rankings: 0.216
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorChen, TYen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorZhou, Zen_HK
dc.date.accessioned2008-05-22T04:13:03Z-
dc.date.available2008-05-22T04:13:03Z-
dc.date.issued2001en_HK
dc.identifier.citationProceedings - Ieee Computer Society's International Computer Software And Applications Conference, 2001, p. 172-178en_HK
dc.identifier.issn0730-3157en_HK
dc.identifier.urihttp://hdl.handle.net/10722/48439-
dc.description.abstractAlthough testing is the most popular method for assuring software quality, there are two recognized limitations, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to address the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.en_HK
dc.format.extent655754 bytes-
dc.format.extent783 bytes-
dc.format.extent783 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypetext/plain-
dc.format.mimetypetext/plain-
dc.languageengen_HK
dc.publisherIEEE, Computer Society.en_HK
dc.relation.ispartofProceedings - IEEE Computer Society's International Computer Software and Applications Conferenceen_HK
dc.rights©2001 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.subjectFault-based testingen_HK
dc.subjectMetamorphic testingen_HK
dc.subjectOracle problemen_HK
dc.subjectSymbolic executionen_HK
dc.titleFault-based testing in the absence of an oracleen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0730-3157&volume=&spage=172&epage=178&date=2001&atitle=Fault-based+testing+in+the+absence+of+an+oracleen_HK
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/CMPSAC.2001.960614en_HK
dc.identifier.scopuseid_2-s2.0-0035181370en_HK
dc.identifier.hkuros65654-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0035181370&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage172en_HK
dc.identifier.epage178en_HK
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridChen, TY=13104290200en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridZhou, Z=15924687500en_HK
dc.identifier.issnl0730-3157-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats