The Symposium on Engineering Test Harness (TSETH '13),
in Proceedings of the 13th International Conference on Quality Software (QSIC '13),
IEEE Computer Society Press, Los Alamitos, CA, 245-252 (2013)
W.K. Chan 2 and T.H. Tse 3
[paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2013-03]
In 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
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.
Keywords: test oracle, test harness, metamorphic testing, pattern classifier, object equivalence and nonequivalence
|EVERY VISITOR COUNTS:|