Summary: Deriving State­Based Test Oracles for Conformance Testing
James H. Andrews
Department of Computer Science
University of Western Ontario
London, Ontario, CANADA N6A 5B7
Abstract
We address the problem of how to instrument code to
log events for conformance testing purposes, and how to
write test oracles that process log files. We specifically
consider oracles written in languages based on the state­
machine formalism. We describe two processes for sys­
tematically deriving logging code and oracles from re­
quirements. The first is a process that we have used and
taught, and the second is a more detailed process that we
propose to increase the flexibility and traceability of the
first process.
1. Introduction
Testing can be made more automated and reliable by
the use of test oracles, programs that check the output
of other programs. In situations where it is infeasible to

Source: Andrews, Jamie - Department of Computer Science, University of Western Ontario

Collections: Computer Technologies and Information Sciences