loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: W. E. Howden

Affiliation: CSE, University of California at San Diego, United States

ISBN: 978-989-8111-52-4

Keyword(s): Testing, elusive, bugs, oracles, necessary, sufficient, incomplete, BET, JUnit, Elusive Bug Hypothesis.

Related Ontology Subjects/Areas/Topics: Dependable Computing ; Enterprise Software Technologies ; Reliable Software Technologies ; Software Engineering

Abstract: Elusive bugs involve combinations of conditions that may not fit into any informal or intuitive testing scheme. One way to attack them is with Bounded Exhaustive Testing, in which all combinations of inputs for a bounded version of an application are tested. Studies of BET effectiveness for known bugs indicate that it is a promising approach. Because of the numbers of tests that are involved, BET normally depends on automated test generation and execution. This in turn requires the use of an automated oracle. In some cases the construction of a complete automated oracle would require the development of a second version of the application. This may be avoidable if incomplete oracles are used. Two classes of incomplete oracles are identified: necessity and sufficiency oracles. Examples are given of experiments using a necessity and a sufficiency oracle.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.231.226.211

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
E. Howden W. and (2008). ELUSIVE BUGS, BOUNDED EXHAUSTIVE TESTING AND INCOMPLETE ORACLES.In Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-52-4, pages 115-121. DOI: 10.5220/0001868501150121

@conference{icsoft08,
author={W. {E. Howden}},
title={ELUSIVE BUGS, BOUNDED EXHAUSTIVE TESTING AND INCOMPLETE ORACLES},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2008},
pages={115-121},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001868501150121},
isbn={978-989-8111-52-4},
}

TY - CONF

JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - ELUSIVE BUGS, BOUNDED EXHAUSTIVE TESTING AND INCOMPLETE ORACLES
SN - 978-989-8111-52-4
AU - E. Howden, W.
PY - 2008
SP - 115
EP - 121
DO - 10.5220/0001868501150121

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.