File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Oracles are hardly attain'd, and hardly understood: confessions of software testing researchers

TitleOracles are hardly attain'd, and hardly understood: confessions of software testing researchers
Authors
KeywordsTest oracle
Test harness
Metamorphic testing
Pattern classifier
Object equivalence and nonequivalence
Issue Date2013
PublisherIEEE Computer Society.
Citation
Symposium on Engineering Test Harness, Nanjing, China, July 29-30, 2013. In Proceedings: 13th International Conference on Quality Software (QSIC), Nanjing, China, 29-30 July 2013, p. 245-252 How to Cite?
AbstractIn software testing, a test oracle refers to the mechanism for determining whether the results of the software under test agree with the expected outcomes. To achieve this, we need a means to determine the expected outcomes, a means to gauge the actual results, and a means to decide whether the actual results agree with the expected outcomes. In real-life situations, however, a test oracle may not exist owing to a missing link in any of these aspects. In this paper, we summarize our research for the last 15 years on selected issues related to each of these aspects. We present the use of metamorphic testing, pattern classification, and formal object equivalence and nonequivalence to alleviate the problems.
DescriptionCo-located with 13th International Conference on Quality Software (QSIC), Nanjing, China, 29-30 July 2013.
Persistent Identifierhttp://hdl.handle.net/10722/184862
ISSN
ISI Accession Number ID

 

DC FieldValueLanguage
dc.contributor.authorChan, WKen_US
dc.contributor.authorTse, THen_US
dc.date.accessioned2013-07-15T10:14:44Z-
dc.date.available2013-07-15T10:14:44Z-
dc.date.issued2013en_US
dc.identifier.citationSymposium on Engineering Test Harness, Nanjing, China, July 29-30, 2013. In Proceedings: 13th International Conference on Quality Software (QSIC), Nanjing, China, 29-30 July 2013, p. 245-252en_US
dc.identifier.issn9780769550398-
dc.identifier.urihttp://hdl.handle.net/10722/184862-
dc.descriptionCo-located with 13th International Conference on Quality Software (QSIC), Nanjing, China, 29-30 July 2013.-
dc.description.abstractIn software testing, a test oracle refers to the mechanism for determining whether the results of the software under test agree with the expected outcomes. To achieve this, we need a means to determine the expected outcomes, a means to gauge the actual results, and a means to decide whether the actual results agree with the expected outcomes. In real-life situations, however, a test oracle may not exist owing to a missing link in any of these aspects. In this paper, we summarize our research for the last 15 years on selected issues related to each of these aspects. We present the use of metamorphic testing, pattern classification, and formal object equivalence and nonequivalence to alleviate the problems.-
dc.languageengen_US
dc.publisherIEEE Computer Society.-
dc.relation.ispartofProceedings: 13th International Conference on Quality Software (QSIC 13), Nanjing, China, 29-30 July 2013en_US
dc.subjectTest oracle-
dc.subjectTest harness-
dc.subjectMetamorphic testing-
dc.subjectPattern classifier-
dc.subjectObject equivalence and nonequivalence-
dc.titleOracles are hardly attain'd, and hardly understood: confessions of software testing researchersen_US
dc.typeConference_Paperen_US
dc.identifier.emailChan, WK: rickchan@hkucc.hku.hken_US
dc.identifier.emailTse, TH: thtse@cs.hku.hken_US
dc.identifier.authorityTse, TH=rp00546en_US
dc.description.naturepostprint-
dc.identifier.doi10.1109/QSIC.2013.16-
dc.identifier.hkuros215616en_US
dc.identifier.spage245-
dc.identifier.epage252-
dc.identifier.isiWOS:000335148200035-
dc.publisher.placeUnited States-
dc.customcontrol.immutableyiu 140328-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats