Fault-based testing without the need of oracles

There are two fundamental limitations in software testing, 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 alleviate the oracle problem a...

Full description

Saved in:
Bibliographic Details
Published in:Information and software technology 2003-01, Vol.45 (1), p.1-9
Main Authors: Chen, T.Y., Tse, T.H., Zhou, Z.Q.
Format: Article
Language:English
Subjects:
Computer science
Fault tolerance
Fault-based testing
Metamorphic testing
Methods
Oracle problem
Software
Studies
Symbolic execution
Testing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c412t-c2996bf7712412dee034d528ed7a7cdf30f3468ba64fa11841c0f7f6cebaa2293
cites cdi_FETCH-LOGICAL-c412t-c2996bf7712412dee034d528ed7a7cdf30f3468ba64fa11841c0f7f6cebaa2293
container_end_page 9
container_issue 1
container_start_page 1
container_title Information and software technology
container_volume 45
creator Chen, T.Y.
Tse, T.H.
Zhou, Z.Q.
description There are two fundamental limitations in software testing, 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 alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.
doi_str_mv 10.1016/S0950-5849(02)00129-5
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_57550194</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0950584902001295</els_id><sourcerecordid>57550194</sourcerecordid><originalsourceid>FETCH-LOGICAL-c412t-c2996bf7712412dee034d528ed7a7cdf30f3468ba64fa11841c0f7f6cebaa2293</originalsourceid><addsrcrecordid>eNqFkE9LAzEQxYMoWKsfQVg8iB7WJtn82ZxEilWh4EE9hzQ7sVu2G02yit_etBUPXjwNw_ze481D6JTgK4KJmDxhxXHJa6YuML3EmFBV8j00IrWsSoEp30ejX-QQHcW4ypDEFR6hycwMXSoXJkJTJIip7V-LzzYt_ZCKtISih3zwrvDB2A7iMTpwpotw8jPH6GV2-zy9L-ePdw_Tm3lpGaGptFQpsXBSEpr3BgBXrOG0hkYaaRtXYVcxUS-MYM4QUjNisZNOWFgYQ6mqxuh85_sW_PuQc-l1Gy10nenBD1FzyTkmimXw7A-48kPoczZNlGCkroXMEN9BNvgYAzj9Ftq1CV-aYL3pUG871JuCNKZ626HmWXe900F-9aOFoKNtobfQtAFs0o1v_3H4Boqedzk</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>196418867</pqid></control><display><type>article</type><title>Fault-based testing without the need of oracles</title><source>Library &amp; Information Science Abstracts (LISA)</source><source>ScienceDirect Freedom Collection</source><creator>Chen, T.Y. ; Tse, T.H. ; Zhou, Z.Q.</creator><creatorcontrib>Chen, T.Y. ; Tse, T.H. ; Zhou, Z.Q.</creatorcontrib><description>There are two fundamental limitations in software testing, 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 alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.</description><identifier>ISSN: 0950-5849</identifier><identifier>EISSN: 1873-6025</identifier><identifier>DOI: 10.1016/S0950-5849(02)00129-5</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Computer science ; Fault tolerance ; Fault-based testing ; Metamorphic testing ; Methods ; Oracle problem ; Software ; Studies ; Symbolic execution ; Testing</subject><ispartof>Information and software technology, 2003-01, Vol.45 (1), p.1-9</ispartof><rights>2002 Elsevier Science B.V.</rights><rights>Copyright Elsevier Science Ltd. Jan 1, 2003</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c412t-c2996bf7712412dee034d528ed7a7cdf30f3468ba64fa11841c0f7f6cebaa2293</citedby><cites>FETCH-LOGICAL-c412t-c2996bf7712412dee034d528ed7a7cdf30f3468ba64fa11841c0f7f6cebaa2293</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27903,27904,34115</link.rule.ids></links><search><creatorcontrib>Chen, T.Y.</creatorcontrib><creatorcontrib>Tse, T.H.</creatorcontrib><creatorcontrib>Zhou, Z.Q.</creatorcontrib><title>Fault-based testing without the need of oracles</title><title>Information and software technology</title><description>There are two fundamental limitations in software testing, 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 alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.</description><subject>Computer science</subject><subject>Fault tolerance</subject><subject>Fault-based testing</subject><subject>Metamorphic testing</subject><subject>Methods</subject><subject>Oracle problem</subject><subject>Software</subject><subject>Studies</subject><subject>Symbolic execution</subject><subject>Testing</subject><issn>0950-5849</issn><issn>1873-6025</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2003</creationdate><recordtype>article</recordtype><sourceid>F2A</sourceid><recordid>eNqFkE9LAzEQxYMoWKsfQVg8iB7WJtn82ZxEilWh4EE9hzQ7sVu2G02yit_etBUPXjwNw_ze481D6JTgK4KJmDxhxXHJa6YuML3EmFBV8j00IrWsSoEp30ejX-QQHcW4ypDEFR6hycwMXSoXJkJTJIip7V-LzzYt_ZCKtISih3zwrvDB2A7iMTpwpotw8jPH6GV2-zy9L-ePdw_Tm3lpGaGptFQpsXBSEpr3BgBXrOG0hkYaaRtXYVcxUS-MYM4QUjNisZNOWFgYQ6mqxuh85_sW_PuQc-l1Gy10nenBD1FzyTkmimXw7A-48kPoczZNlGCkroXMEN9BNvgYAzj9Ftq1CV-aYL3pUG871JuCNKZ626HmWXe900F-9aOFoKNtobfQtAFs0o1v_3H4Boqedzk</recordid><startdate>20030101</startdate><enddate>20030101</enddate><creator>Chen, T.Y.</creator><creator>Tse, T.H.</creator><creator>Zhou, Z.Q.</creator><general>Elsevier B.V</general><general>Elsevier Science Ltd</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>E3H</scope><scope>F2A</scope></search><sort><creationdate>20030101</creationdate><title>Fault-based testing without the need of oracles</title><author>Chen, T.Y. ; Tse, T.H. ; Zhou, Z.Q.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c412t-c2996bf7712412dee034d528ed7a7cdf30f3468ba64fa11841c0f7f6cebaa2293</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Computer science</topic><topic>Fault tolerance</topic><topic>Fault-based testing</topic><topic>Metamorphic testing</topic><topic>Methods</topic><topic>Oracle problem</topic><topic>Software</topic><topic>Studies</topic><topic>Symbolic execution</topic><topic>Testing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Chen, T.Y.</creatorcontrib><creatorcontrib>Tse, T.H.</creatorcontrib><creatorcontrib>Zhou, Z.Q.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Library &amp; Information Sciences Abstracts (LISA)</collection><collection>Library &amp; Information Science Abstracts (LISA)</collection><jtitle>Information and software technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Chen, T.Y.</au><au>Tse, T.H.</au><au>Zhou, Z.Q.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Fault-based testing without the need of oracles</atitle><jtitle>Information and software technology</jtitle><date>2003-01-01</date><risdate>2003</risdate><volume>45</volume><issue>1</issue><spage>1</spage><epage>9</epage><pages>1-9</pages><issn>0950-5849</issn><eissn>1873-6025</eissn><abstract>There are two fundamental limitations in software testing, 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 alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/S0950-5849(02)00129-5</doi><tpages>9</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0950-5849
ispartof Information and software technology, 2003-01, Vol.45 (1), p.1-9
issn 0950-5849
1873-6025
language eng
recordid cdi_proquest_miscellaneous_57550194
source Library & Information Science Abstracts (LISA); ScienceDirect Freedom Collection
subjects Computer science
Fault tolerance
Fault-based testing
Metamorphic testing
Methods
Oracle problem
Software
Studies
Symbolic execution
Testing
title Fault-based testing without the need of oracles
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-23T12%3A12%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Fault-based%20testing%20without%20the%20need%20of%20oracles&rft.jtitle=Information%20and%20software%20technology&rft.au=Chen,%20T.Y.&rft.date=2003-01-01&rft.volume=45&rft.issue=1&rft.spage=1&rft.epage=9&rft.pages=1-9&rft.issn=0950-5849&rft.eissn=1873-6025&rft_id=info:doi/10.1016/S0950-5849(02)00129-5&rft_dat=%3Cproquest_cross%3E57550194%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c412t-c2996bf7712412dee034d528ed7a7cdf30f3468ba64fa11841c0f7f6cebaa2293%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=196418867&rft_id=info:pmid/&rfr_iscdi=true