Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,723,456 papers from all fields of science
Search
Sign In
Create Free Account
Oracle (software testing)
Known as:
Oracle (disambiguation)
, Oracle (testing)
, Test Oracle
In computing, software testers and software engineers can use an oracle as a mechanism for determining whether a test has passed or failed. The use…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Algorithm
Automatic bug fixing
Black-box testing
Metamorphic testing
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
TR 17-008 Toward Rigorous Object-Code Coverage Criteria
Taejoon Byun
,
Vaibhav Sharma
,
Sanjai Rayadurgam
,
Stephen McCamant
,
M. Heimdahl
2017
Corpus ID: 38956534
Object-branch coverage (OBC) is often used as a measure of the thoroughness of tests suites, augmenting or substituting source…
Expand
2017
2017
The Method of Test Oracle Generation Based on Event Temporal Logic
Min Sun
,
Ji Wu
,
Chao Liu
,
Hai-yan Yang
International Conference on Computer Technology…
2017
Corpus ID: 199508859
Test Oracle is a method used to check whether the system under test is running correctly in the case of specific execution, which…
Expand
2013
2013
Descrip-A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles
Zhaoshun Wang
2013
Corpus ID: 268092396
Service Oriented Architecture (SOA) has become a major application development paradigm. As a basic unit of SOA applications, Web…
Expand
2012
2012
Generating test data for black-box testing using genetic algorithms
Marten Fischer
,
R. Tönjes
IEEE International Conference on Emerging…
2012
Corpus ID: 16307064
Software testing is the most important and most time-and cost consuming part in the software development process. According to…
Expand
2010
2010
Testing Continuous Double Auctions with a Constraint-Based Oracle
Roberto Castañeda Lozano
,
Christian Schulte
,
L. Wahlberg
International Conference on Principles and…
2010
Corpus ID: 6819156
Computer trading systems are essential for today's financial markets where the trading systems' correctness is of paramount…
Expand
2007
2007
Testing with Analysis and Oracle Support Taos Test Development Test Execution Test Measurement Parallel Test Executor Behavior Verifier Coverage Analyzer Test Criterion Deriver Test Case Editor Test…
D. Richardson
2007
Corpus ID: 13054931
Few would question that software testing is a necessary activity for assuring software quality, yet the typical testing process…
Expand
2006
2006
An algorithm for generating very large covering arrays
D. R. Kuhn
2006
Corpus ID: 52200853
One problem that must be solved for automated testing of large systems is producing tests for a large number of variables with a…
Expand
Review
2001
Review
2001
Test oracle automation for V&V of an autonomous spacecraft's planner
M. Feather
,
Ben Smith
2001
Corpus ID: 9927399
We built automation to assist the software testing efforts associated with the Remote Agent experiment. In particular, our focus…
Expand
1997
1997
Translating Object-Z specifications to object-oriented test oracles
Jason McDonald
,
L. Murray
,
P. Strooper
Proceedings of Joint 4th International Computer…
1997
Corpus ID: 26428741
This paper describes the translation of Object-Z specifications of container classes to C++ test oracle classes. It presents a…
Expand
1992
1992
DESIGNING FOR SOFTWARE TESTABILITY USING AUTOMATED ORACLES
J. Bieman
,
Hwei Yin
Proceedings International Test Conference
1992
Corpus ID: 8380797
Software testing often requires massive numbers of test cases that must be manually inspected for correctness. This paper…
Expand